1.0.42.32: fix for lp#611361

[sbcl.git] / make-target-contrib.sh

diff --git a/make-target-contrib.sh b/make-target-contrib.sh
index 806670f..bd9f640 100644 (file)
--- a/make-target-contrib.sh
+++ b/make-target-contrib.sh
@@ -14,6 +14,8 @@ set -e
 # provided with absolutely no warranty. See the COPYING and CREDITS
 # files for more information.
 
+echo //entering make-target-contrib.sh
+
 LANG=C
 LC_ALL=C
 export LANG LC_ALL
@@ -24,10 +26,14 @@ find_gnumake
 . ./sbcl-pwd.sh
 sbcl_pwd
 
-SBCL_HOME=$SBCL_PWD/contrib
+SBCL_HOME="$SBCL_PWD/contrib"
 export SBCL_HOME
+if [ "$OSTYPE" = "cygwin" ] ; then
+    SBCL_PWD=`echo $SBCL_PWD | sed s/\ /\\\\\\\\\ /g`
+fi
 
-SBCL="$SBCL_PWD/src/runtime/sbcl --noinform --core $SBCL_PWD/output/sbcl.core --disable-debugger --no-sysinit --no-userinit"
+SBCL="$SBCL_PWD/src/runtime/sbcl --noinform --core $SBCL_PWD/output/sbcl.core \
+--lose-on-corruption --disable-debugger --no-sysinit --no-userinit"
 SBCL_BUILDING_CONTRIB=1
 export SBCL SBCL_BUILDING_CONTRIB
 
@@ -74,7 +80,7 @@ do
       else
           cat <<EOF
 
-WARNING! Some of the contrib modules did not build succesfully or pass
+WARNING! Some of the contrib modules did not build successfully or pass
 their self-tests. Failed contribs:"
 EOF
           HEADER_HAS_BEEN_PRINTED=true
@@ -83,6 +89,6 @@ EOF
   fi
 done
 
-if [ $HEADER_HAS_BEEN_PRINTED == true ]; then
+if [ $HEADER_HAS_BEEN_PRINTED = true ]; then
   exit 1
 fi