diff -r 59676cfb4ada -r 223c84ec2d90 tools/Makefile --- a/tools/Makefile Sun Jun 17 16:24:23 2007 +0000 +++ b/tools/Makefile Sun Jul 01 19:04:20 2007 +0000 @@ -1,11 +1,31 @@ +# Makefile for the tools/ sub-directory + +# Here, we can update the config.* scripts. +# If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those +# scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those +# scripts are downloaded only for use in CT_TOP_DIR. + CONFIG_SUB_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.sub" CONFIG_SUB_DEST="$(CT_TOP_DIR)/tools/config.sub" CONFIG_GUESS_SRC="http://cvs.savannah.gnu.org/viewcvs/*checkout*/config/config/config.guess" CONFIG_GUESS_DEST="$(CT_TOP_DIR)/tools/config.guess" -updatetools: - @wget "$(CONFIG_SUB_SRC)" -O "$(CONFIG_SUB_DEST)" - @wget "$(CONFIG_GUESS_SRC)" -O "$(CONFIG_GUESS_DEST)" +$(CT_TOP_DIR)/tools: + @mkdir -p $(CT_TOP_DIR)/tools + +PHONY += updatetools +updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST) + +$(CONFIG_SUB_DEST): + @wget $(CONFIG_SUB_SRC) -O $@ + @chmod u+rwx,go+rx-w $@ + +$(CONFIG_GUESS_DEST): + @wget $(CONFIG_GUESS_SRC) -O $@ + @chmod u+rwx,go+rx-w $@ help-distrib:: @echo ' updatetools - Update the config tools' + +distclean:: + @[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools