From: Taylor R Campbell <campbell@mumble.net>
Date: Sat, 5 Oct 2013 20:53:11 +0000 (+0000)
Subject: Remove Makefile.boot on distclean too.
X-Git-Tag: release-9.2.0~100^2~6
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=25b02e446f046ed53737e42b52325ba0a65031df;p=mit-scheme.git

Remove Makefile.boot on distclean too.
---

diff --git a/src/Clean.sh b/src/Clean.sh
index 2f14ccd57..4663da273 100755
--- a/src/Clean.sh
+++ b/src/Clean.sh
@@ -69,7 +69,12 @@ if [ ${FULL} = yes ]; then
 fi
 
 if [ ${DIST} = yes ]; then
-    maybe_rm Makefile boot-lib config.cache config.log config.status
+    maybe_rm Makefile
+    maybe_rm Makefile.boot
+    maybe_rm boot-lib           # XXX What's this?
+    maybe_rm config.cache
+    maybe_rm config.log
+    maybe_rm config.status
 fi
 
 if [ ${MAINTAINER} = yes ]; then