diff -r 223c84ec2d90 -r 3f14c769a4dc tools/tools.mk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/tools.mk	Sat Aug 11 10:55:38 2007 +0000
@@ -0,0 +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"
+
+$(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