Teach top-level clean target to clean tools too.

diff --git a/src/Makefile.in b/src/Makefile.in
index 0ae21ef9cb2e60fb5d4d37705b0fcf3ea352c4ed..21b8a182933a950ec0550afa0d5d946d54ef056b 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -911,6 +911,7 @@ stamp_native-compile-scheme: compile-microcode
 
 
 mostlyclean clean distclean maintainer-clean c-clean:
+       $(MAKE) -f Makefile.tools clean
        $(top_srcdir)/Clean.sh $@ $(SUBDIRS)
 
 clean-boot-root: