diff Makefile @ 23699:2c8bfc750aa5

Also remove generated tools on distclean.
author diego
date Wed, 04 Jul 2007 18:53:39 +0000
parents e1935bbb44e2
children 76f5d8892c04
line wrap: on
line diff
--- a/Makefile	Wed Jul 04 18:41:22 2007 +0000
+++ b/Makefile	Wed Jul 04 18:53:39 2007 +0000
@@ -306,6 +306,7 @@
 
 distclean:: doxygen_clean
 	@for a in $(PARTS); do $(MAKE) -C $$a distclean; done
+	$(MAKE) -C TOOLS distclean
 	-rm -f configure.log config.mak config.h
 
 strip: