changeset 23699:2c8bfc750aa5

Also remove generated tools on distclean.
author diego
date Wed, 04 Jul 2007 18:53:39 +0000
parents 3a2b190d5936
children 7dbca1914d9f
files Makefile
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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: