1.1 --- a/tools/tools.mk	Wed Oct 15 21:29:56 2008 +0000
     1.2 +++ b/tools/tools.mk	Wed Oct 22 20:50:10 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