diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-08-15 14:59:37 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-08-15 14:59:37 (GMT) |
commit | 54cca9f2ba0065fe34013bf712c181601a53c912 (patch) | |
tree | 0a95b5283796127fd97bcbca1b475e8d6e592916 /tools | |
parent | 46e19208cd3a3f8634efa497ad49c25db8df9b5a (diff) |
Add the possibility to force the number of // jobs without reconfiguring.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/tools.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tools.mk b/tools/tools.mk index 72416b8..9c4d692 100644 --- a/tools/tools.mk +++ b/tools/tools.mk @@ -25,7 +25,7 @@ $(CONFIG_GUESS_DEST): @chmod u+rwx,go+rx-w $@ help-distrib:: - @echo ' updatetools - Update the config tools' + @echo ' updatetools - Update the config tools' distclean:: @[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools |