X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make.sh;h=8f8d703faad12e780645b0dc855fe06c0abbfc95;hb=3463b858635f78b4230c4e459892b611c5bfd9d4;hp=6d66d639f0a01446983847ca573226367f9e7a77;hpb=eaa8a506790bb6ed627da617247bfd13802eb365;p=sbcl.git

diff --git a/make.sh b/make.sh
index 6d66d63..8f8d703 100755
--- a/make.sh
+++ b/make.sh
@@ -105,15 +105,15 @@ time sh make-target-contrib.sh || exit 1
 
 # Sometimes people used to see the "No tests failed." output from the last
 # DEFTEST in contrib self-tests and think that's all that is. So...
-FLAG=true
+HEADER_HAS_BEEN_PRINTED=false
 for dir in contrib/*
 do
-  if [ -d "$dir" -a -e "$dir/Makefile" -a ! -e "$dir/test-passed" ]; then
-      if $FLAG; then
+  if [ -d "$dir" -a -f "$dir/Makefile" -a ! -f "$dir/test-passed" ]; then
+      if $HEADER_HAS_BEEN_PRINTED; then
 	  echo > /dev/null
       else
 	  echo "Failed contribs:"
-	  FLAG=false
+	  HEADER_HAS_BEEN_PRINTED=true
       fi
       echo "  `basename $dir`"
   fi