changeset 983 | 9d513ed85982 |
parent 940 | f0f9ba3f98f2 |
child 1001 | c8ac48ba1411 |
1.1 --- a/tools/tools.mk Wed Oct 15 21:29:56 2008 +0000 1.2 +++ b/tools/tools.mk Sun Oct 26 11:26:46 2008 +0000 1.3 @@ -28,4 +28,5 @@ 1.4 @echo ' updatetools - Update the config tools' 1.5 1.6 distclean:: 1.7 + @$(ECHO) " CLEAN tools" 1.8 $(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/tools