tools/tools.mk
changeset 1023 c2d7619cce21
parent 953 edd62c121892
child 1039 b534a133daf4
     1.1 --- a/tools/tools.mk	Tue Oct 21 16:13:46 2008 +0000
     1.2 +++ b/tools/tools.mk	Fri Oct 31 18:28:12 2008 +0000
     1.3 @@ -5,6 +5,16 @@
     1.4  # scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
     1.5  # scripts are downloaded only for use in CT_TOP_DIR.
     1.6  
     1.7 +# ----------------------------------------------------------
     1.8 +# The tools help entry
     1.9 +
    1.10 +help-distrib::
    1.11 +	@echo  '  updatetools        - Update the config tools'
    1.12 +
    1.13 +# ----------------------------------------------------------
    1.14 +# Where to get tools from, and where to store them into
    1.15 +# The tools are: config.guess and config.sub
    1.16 +
    1.17  CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD"
    1.18  CONFIG_SUB_DEST="$(CT_TOP_DIR)/tools/config.sub"
    1.19  CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD"
    1.20 @@ -16,6 +26,9 @@
    1.21  PHONY += updatetools
    1.22  updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
    1.23  
    1.24 +# ----------------------------------------------------------
    1.25 +# How to retrieve the tools
    1.26 +
    1.27  $(CONFIG_SUB_DEST):
    1.28  	$(SILENT)wget $(CONFIG_SUB_SRC) -O $@
    1.29  	$(SILENT)chmod u+rwx,go+rx-w $@
    1.30 @@ -24,8 +37,8 @@
    1.31  	$(SILENT)wget $(CONFIG_GUESS_SRC) -O $@
    1.32  	$(SILENT)chmod u+rwx,go+rx-w $@
    1.33  
    1.34 -help-distrib::
    1.35 -	@echo  '  updatetools        - Update the config tools'
    1.36 +# ----------------------------------------------------------
    1.37 +# Clean up the mess
    1.38  
    1.39  distclean::
    1.40  	@$(ECHO) "  CLEAN tools"