path: root/docs
diff options
authorYann E. MORIN" <>2007-06-01 16:55:33 (GMT)
committerYann E. MORIN" <>2007-06-01 16:55:33 (GMT)
commit51554bf237037946b12f7aea97708f1a64c091a6 (patch)
treec718c86470d8003b516cdb8e92d15b7cb208e00c /docs
parente5f94e60379fe134ae6f8eae6b84f20cde54bb85 (diff)
Introduce the notion of tols facilities (none so far, sstrip coming right away...).
Diffstat (limited to 'docs')
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/overview.txt b/docs/overview.txt
index 7bc9f61..27c97a3 100644
--- a/docs/overview.txt
+++ b/docs/overview.txt
@@ -135,6 +135,7 @@ The list of steps is, in order of appearence in the build process:
- libc
- cc
- libc_finish
+ - tools
- debug
Alternatively, you can call make with the name of a step to just do that step:
@@ -144,9 +145,9 @@ is equivalent to:
The shortcuts -step_name and step_name- allow to respectively stop or restart
at that step. Thus:
- make -libc_headers make libc_headers-
+ make -libc_headers and: make libc_headers-
are equivalent to:
- make STOP=libc_headers make RESTART=libc_headers
+ make STOP=libc_headers and: make RESTART=libc_headers