diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-21 16:13:46 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-10-21 16:13:46 (GMT) |
commit | c570927ef3ca89ae0e464b3e9cb1ecbe9b60b9aa (patch) | |
tree | 8c41f18fde4246f14ae18dfb422278778db180ae /tools | |
parent | 673f79427f794cedf228839ec3eb59af7a97faf4 (diff) |
Eye-candy when {,dist}clean.
/trunk/tools/tools.mk | 1 1 0 0 +
/trunk/ct-ng.in | 16 12 4 0 ++++++++++++----
2 files changed, 13 insertions(+), 4 deletions(-)
Diffstat (limited to 'tools')
-rw-r--r-- | tools/tools.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/tools.mk b/tools/tools.mk index dc8de4d..8be93a2 100644 --- a/tools/tools.mk +++ b/tools/tools.mk @@ -28,4 +28,5 @@ help-distrib:: @echo ' updatetools - Update the config tools' distclean:: + @$(ECHO) " CLEAN tools" $(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools |