tools/Makefile
changeset 261 4b8cba298bf3
parent 260 0b0769e5a2ab
child 262 30b65aecf7fb
     1.1 --- a/tools/Makefile	Sun Jul 15 08:37:22 2007 +0000
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,31 +0,0 @@
     1.4 -# Makefile for the tools/ sub-directory
     1.5 -
     1.6 -# Here, we can update the config.* scripts.
     1.7 -# If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those
     1.8 -# scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
     1.9 -# scripts are downloaded only for use in CT_TOP_DIR.
    1.10 -
    1.11 -CONFIG_SUB_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.sub"
    1.12 -CONFIG_SUB_DEST="$(CT_TOP_DIR)/tools/config.sub"
    1.13 -CONFIG_GUESS_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.guess"
    1.14 -CONFIG_GUESS_DEST="$(CT_TOP_DIR)/tools/config.guess"
    1.15 -
    1.16 -$(CT_TOP_DIR)/tools:
    1.17 -	@mkdir -p $(CT_TOP_DIR)/tools
    1.18 -
    1.19 -PHONY += updatetools
    1.20 -updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
    1.21 -
    1.22 -$(CONFIG_SUB_DEST):
    1.23 -	@wget $(CONFIG_SUB_SRC) -O $@
    1.24 -	@chmod u+rwx,go+rx-w $@
    1.25 -
    1.26 -$(CONFIG_GUESS_DEST):
    1.27 -	@wget $(CONFIG_GUESS_SRC) -O $@
    1.28 -	@chmod u+rwx,go+rx-w $@
    1.29 -
    1.30 -help-distrib::
    1.31 -	@echo  '  updatetools    - Update the config tools'
    1.32 -
    1.33 -distclean::
    1.34 -	@[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools