X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=clean.sh;h=57a9c5033f7b494709765959e70ccfa4f56fe589;hb=b19093fa94d6e1785abee99c35c9a610e8777671;hp=72ad69d213ad3d9fe1e1dca5cd0ab7351b20d990;hpb=d7f6139a91d7d9b0667a597584ae306d958bb2f4;p=sbcl.git

diff --git a/clean.sh b/clean.sh
index 72ad69d..57a9c50 100755
--- a/clean.sh
+++ b/clean.sh
@@ -26,7 +26,12 @@ rm -rf obj/* output/* doc/user-manual \
 pwd=`pwd`
 for d in tools-for-build; do
     cd $d
-    make clean
+    # I hope the -s option is standard. At least GNU make and BSD make
+    # support it. It silences make, since otherwise the output from
+    # this script is just the operations done by these make's, which
+    # is misleading when this script does lotso other operations too.
+    # -- WHN
+    make -s clean
     cd $pwd
 done