diff -r 000000000000 -r eeea35fbf182 tools/Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tools/Makefile Sat Feb 24 11:00:05 2007 +0000 @@ -0,0 +1,11 @@ +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)" + +help:: + @echo ' updatetools - Update the config tools'