changeset 961 | 7a5636b5b4c2 |
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 Wed Oct 22 20:29:32 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