X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=make-target-contrib.sh;h=c4d1e4868863e7e0d1148062f216a5d69839ddf7;hb=51a1a3d4e4f174066958f40983c14abfb7116216;hp=d541ea9d5cdc11259f5cbefa52940173bb82ea55;hpb=99501797db3d77ff2a7f32071d7fab0db3fdacae;p=sbcl.git

diff --git a/make-target-contrib.sh b/make-target-contrib.sh
index d541ea9..c4d1e48 100644
--- a/make-target-contrib.sh
+++ b/make-target-contrib.sh
@@ -1,4 +1,5 @@
 #!/bin/sh
+set -e
 
 # This is a script to be run as part of make.sh. The only time you'd
 # probably want to run it by itself is if you're cross-compiling the
@@ -13,6 +14,13 @@
 # provided with absolutely no warranty. See the COPYING and CREDITS
 # files for more information.
 
+LANG=C
+LC_ALL=C
+export LANG LC_ALL
+
+. ./find-gnumake.sh
+find_gnumake
+
 # usually SBCL_HOME refers to the installed root of SBCL, not the
 # build directory.  Right now, however, where there are dependencies
 # between contrib packages, we want the _uninstalled_ versions to be
@@ -33,16 +41,25 @@ export SBCL SBCL_BUILDING_CONTRIB
 find contrib/ \( -name '*.fasl' -o -name 'foo.c' -o -name 'a.out' -o -name 'alien.so' -o -name '*.o' \) \
   -print | xargs rm -f
 
-mkdir -p contrib/systems
-rm -f contrib/systems/*
-
-for i in contrib/*/*.asd; do
-    ln -sf ../../$i contrib/systems/
-done
-
 for i in contrib/*; do
     test -d $i && test -f $i/Makefile || continue;
     # export INSTALL_DIR=$SBCL_HOME/`basename $i `
-    test -f $i/test-passed && rm $i/test-passed 
+    test -f $i/test-passed && rm $i/test-passed
     $GNUMAKE -C $i test && touch $i/test-passed
 done
+
+# 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...
+HEADER_HAS_BEEN_PRINTED=false
+for dir in contrib/*
+do
+  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:"
+          HEADER_HAS_BEEN_PRINTED=true
+      fi
+      echo "  `basename $dir`"
+  fi
+done