1.1 --- a/tools/tools.mk Thu May 08 15:36:51 2008 +0000
1.2 +++ b/tools/tools.mk Mon Oct 20 09:50:45 2008 +0000
1.3 @@ -11,21 +11,21 @@
1.4 CONFIG_GUESS_DEST="$(CT_TOP_DIR)/tools/config.guess"
1.5
1.6 $(CT_TOP_DIR)/tools:
1.7 - @mkdir -p $(CT_TOP_DIR)/tools
1.8 + $(SILENT)mkdir -p $(CT_TOP_DIR)/tools
1.9
1.10 PHONY += updatetools
1.11 updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
1.12
1.13 $(CONFIG_SUB_DEST):
1.14 - @wget $(CONFIG_SUB_SRC) -O $@
1.15 - @chmod u+rwx,go+rx-w $@
1.16 + $(SILENT)wget $(CONFIG_SUB_SRC) -O $@
1.17 + $(SILENT)chmod u+rwx,go+rx-w $@
1.18
1.19 $(CONFIG_GUESS_DEST):
1.20 - @wget $(CONFIG_GUESS_SRC) -O $@
1.21 - @chmod u+rwx,go+rx-w $@
1.22 + $(SILENT)wget $(CONFIG_GUESS_SRC) -O $@
1.23 + $(SILENT)chmod u+rwx,go+rx-w $@
1.24
1.25 help-distrib::
1.26 @echo ' updatetools - Update the config tools'
1.27
1.28 distclean::
1.29 - @[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools
1.30 + $(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools