diff options
| author | Alexey Neyman <stilor@att.net> | 2017-02-12 13:51:42 -0800 |
|---|---|---|
| committer | Alexey Neyman <stilor@att.net> | 2017-02-12 22:02:23 -0800 |
| commit | 35f89c406423344b19dcf3e3f95ff6296f329e42 (patch) | |
| tree | 69b473f6d211cc56bfc437e37b457407ad052a43 /scripts/scripts.mk | |
| parent | c31ed45a65e9e30fe2000bf1704583038522646e (diff) | |
| download | crosstool-ng-35f89c406423344b19dcf3e3f95ff6296f329e42.tar.gz crosstool-ng-35f89c406423344b19dcf3e3f95ff6296f329e42.tar.bz2 crosstool-ng-35f89c406423344b19dcf3e3f95ff6296f329e42.zip | |
Detect both wget/curl and allow user to select the agent
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'scripts/scripts.mk')
| -rw-r--r-- | scripts/scripts.mk | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/scripts/scripts.mk b/scripts/scripts.mk deleted file mode 100644 index 77368a7e..00000000 --- a/scripts/scripts.mk +++ /dev/null @@ -1,54 +0,0 @@ -# Makefile for the scripts/ 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. - -# ---------------------------------------------------------- -# The tools help entry - -help-distrib:: - @echo ' updatetools - Update the config tools' - -# ---------------------------------------------------------- -# Where to get tools from, and where to store them into -# The tools are: config.guess and config.sub - -CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD" -CONFIG_SUB_DEST=scripts/config.sub -CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD" -CONFIG_GUESS_DEST=scripts/config.guess - -PHONY += updatetools -updatetools: $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST) - -# ---------------------------------------------------------- -# How to retrieve the tools - -wget_opt=-o /dev/null -ifeq ($(strip $(V)),2) - wget_opt= -endif - -PHONY += scripts -scripts: - @$(CT_ECHO) ' MKDIR $@' - $(SILENT)mkdir -p $@ - -$(CONFIG_SUB_DEST): scripts FORCE - @$(CT_ECHO) ' WGET $@' - $(SILENT)wget $(wget_opt) -O $@ $(CONFIG_SUB_SRC) - $(SILENT)chmod u+rwx,go+rx-w $@ - -$(CONFIG_GUESS_DEST): scripts FORCE - @$(CT_ECHO) ' WGET $@' - $(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC) - $(SILENT)chmod u+rwx,go+rx-w $@ - -# ---------------------------------------------------------- -# Clean up the mess - -distclean:: - @$(CT_ECHO) " CLEAN scripts" - $(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/scripts |