From eb6b225d986b854ddb03bd916d6c7b80060d29aa Mon Sep 17 00:00:00 2001
From: Taylor R Campbell <campbell@mumble.net>
Date: Tue, 18 Apr 2017 18:59:01 +0000
Subject: [PATCH] Teach top-level clean target to clean tools too.

---
 src/Makefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Makefile.in b/src/Makefile.in
index 0ae21ef9c..21b8a1829 100644
--- 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:
-- 
2.25.1