1.1 --- a/tools/tools.mk	Tue Dec 16 18:03:28 2008 +0000
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,57 +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 -# ----------------------------------------------------------
    1.12 -# The tools help entry
    1.13 -
    1.14 -help-distrib::
    1.15 -	@echo  '  updatetools        - Update the config tools'
    1.16 -
    1.17 -# ----------------------------------------------------------
    1.18 -# Where to get tools from, and where to store them into
    1.19 -# The tools are: config.guess and config.sub
    1.20 -
    1.21 -CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD"
    1.22 -CONFIG_SUB_DEST=tools/config.sub
    1.23 -CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD"
    1.24 -CONFIG_GUESS_DEST=tools/config.guess
    1.25 -
    1.26 -# Kludge: we have a step that is called 'tools', and thus we can not define a
    1.27 -# rule here that is named 'tools'. Naming it 'tools/' does not help either.
    1.28 -# Thus, prepend the top directory to have a single rule description. This is
    1.29 -# not as bad as it seems, because it is only refered to by teo rules in this
    1.30 -# file, but still it is a kludge...
    1.31 -$(CT_TOP_DIR)/tools:
    1.32 -	$(SILENT)mkdir -p tools
    1.33 -
    1.34 -PHONY += updatetools
    1.35 -updatetools: $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
    1.36 -
    1.37 -# ----------------------------------------------------------
    1.38 -# How to retrieve the tools
    1.39 -
    1.40 -wget_opt=-o /dev/null
    1.41 -ifeq ($(strip $(V)),2)
    1.42 -  wget_opt=
    1.43 -endif
    1.44 -
    1.45 -$(CONFIG_SUB_DEST): .FORCE $(CT_TOP_DIR)/tools
    1.46 -	@$(ECHO) '  WGET  $@'
    1.47 -	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_SUB_SRC)
    1.48 -	$(SILENT)chmod u+rwx,go+rx-w $@
    1.49 -
    1.50 -$(CONFIG_GUESS_DEST): .FORCE $(CT_TOP_DIR)/tools
    1.51 -	@$(ECHO) '  WGET  $@'
    1.52 -	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC)
    1.53 -	$(SILENT)chmod u+rwx,go+rx-w $@
    1.54 -
    1.55 -# ----------------------------------------------------------
    1.56 -# Clean up the mess
    1.57 -
    1.58 -distclean::
    1.59 -	@$(ECHO) "  CLEAN tools"
    1.60 -	$(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools