1.1 --- a/tools/tools.mk	Thu May 08 15:36:51 2008 +0000
     1.2 +++ b/tools/tools.mk	Wed Oct 15 21:29:56 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