diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-27 18:42:26 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-27 18:42:26 (GMT) |
commit | b47644382215f43f96b3957b127e92caa9d33f80 (patch) | |
tree | 66ba460bc4125e1570febe965fd4facff050dc8f /tools/tools.mk | |
parent | 84fe3f42e282437971eecd158f93e76554b7bb22 (diff) |
Enhance the make fragments:
- comment the different parts
- re-order the code so that it is homogeneous amogst fragments
- eye-candy in some existing comments
/trunk/tools/tools.mk | 17 15 2 0 +++++++++++++++--
/trunk/steps.mk | 38 26 12 0 ++++++++++++++++++++++++++------------
/trunk/samples/samples.mk | 41 28 13 0 ++++++++++++++++++++++++++++-------------
/trunk/config/config.mk | 2 1 1 0 +-
4 files changed, 70 insertions(+), 28 deletions(-)
Diffstat (limited to 'tools/tools.mk')
-rw-r--r-- | tools/tools.mk | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/tools/tools.mk b/tools/tools.mk index 8be93a2..9502664 100644 --- a/tools/tools.mk +++ b/tools/tools.mk @@ -5,6 +5,16 @@ # 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="$(CT_TOP_DIR)/tools/config.sub" CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD" @@ -16,6 +26,9 @@ $(CT_TOP_DIR)/tools: PHONY += updatetools updatetools: $(CT_TOP_DIR)/tools $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST) +# ---------------------------------------------------------- +# How to retrieve the tools + $(CONFIG_SUB_DEST): $(SILENT)wget $(CONFIG_SUB_SRC) -O $@ $(SILENT)chmod u+rwx,go+rx-w $@ @@ -24,8 +37,8 @@ $(CONFIG_GUESS_DEST): $(SILENT)wget $(CONFIG_GUESS_SRC) -O $@ $(SILENT)chmod u+rwx,go+rx-w $@ -help-distrib:: - @echo ' updatetools - Update the config tools' +# ---------------------------------------------------------- +# Clean up the mess distclean:: @$(ECHO) " CLEAN tools" |