diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-30 19:35:39 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-30 19:35:39 (GMT) |
commit | 20e08ffa90f139fb977bf2d65e989853626210e8 (patch) | |
tree | c0b94b165791d90970ab8a034e6e9e2852b6c814 /docs | |
parent | af1ecbd4f3844b51f5df38e7f44363714f60509d (diff) |
Fix the step shortcuts (using a dash would confuse make).
Diffstat (limited to 'docs')
-rw-r--r-- | docs/overview.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/overview.txt b/docs/overview.txt index 9bed02d..527d854 100644 --- a/docs/overview.txt +++ b/docs/overview.txt @@ -277,9 +277,9 @@ Alternatively, you can call make with the name of a step to just do that step: is equivalent to: ct-ng RESTART=libs_headers STOP=libc_headers -The shortcuts -step_name and step_name- allow to respectively stop or restart +The shortcuts +step_name and step_name+ allow to respectively stop or restart at that step. Thus: - ct-ng -libc_headers and: ct-ng libc_headers- + ct-ng +libc_headers and: ct-ng libc_headers+ are equivalent to: ct-ng STOP=libc_headers and: ct-ng RESTART=libc_headers |