make.sh --help no longer runs clean.sh

[sbcl.git] / make-config.sh

diff --git a/make-config.sh b/make-config.sh
index 1b86204..1a0a547 100644 (file)
--- a/make-config.sh
+++ b/make-config.sh
@@ -208,6 +208,10 @@ EOF
   exit 1
 fi
 
+# Running make.sh with different options without clean.sh in the middle
+# can break things.
+sh clean.sh
+
 mkdir -p output
 # Save prefix for make and install.sh.
 echo "SBCL_PREFIX='$SBCL_PREFIX'" > output/prefix.def