diff options
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 |