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

[sbcl.git] / make.sh

diff --git a/make.sh b/make.sh
index 77494c6..f10db34 100755 (executable)
--- a/make.sh
+++ b/make.sh
@@ -20,10 +20,6 @@ export LANG LC_ALL
 # provided with absolutely no warranty. See the COPYING and CREDITS
 # files for more information.
 
-# Running make.sh with different options without clean.sh in the middle
-# can break things.
-sh clean.sh
-
 # If you're cross-compiling, make-config.sh should "do the right
 # thing" when run on the target machine, with the minor caveat that
 # any --xc-host parameter should be suitable for the host machine