summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-10-21 16:13:46 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-10-21 16:13:46 (GMT)
commitc570927ef3ca89ae0e464b3e9cb1ecbe9b60b9aa (patch)
tree8c41f18fde4246f14ae18dfb422278778db180ae /tools
parent673f79427f794cedf228839ec3eb59af7a97faf4 (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.mk1
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