0.pre7.73:

[sbcl.git] / clean.sh

diff --git a/clean.sh b/clean.sh
index 72ad69d..29af859 100755 (executable)
--- 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
 
@@ -52,9 +57,11 @@ done
 #     certainly not source
 #   *~, #*#, TAGS
 #     common names for editor temporary files
+#   .#*
+#     rubbish left behind by CVS updates
 #   *.htm, *.html
-#     The system doc sources are SGML, any HTML is automatically 
-#     generated output.
+#     The system doc sources are SGML, any HTML is
+#     automatically-generated output.
 #   depend
 #     made by "make depend" (or "gmake depend" or some such thing)
 #   *.x86f, *.axpf, *.lbytef, *.fasl
@@ -63,6 +70,7 @@ find . \( \
        -type l -or \
        -name '*~' -or \
        -name '#*#' -or \
+       -name '.#*' -or \
        -name '?*.x86f' -or \
        -name '?*.axpf' -or \
        -name '?*.lbytef' -or \