1.0.21.27: no more &OPTIONAL-DISPATCH debug names

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

diff --git a/make-target-contrib.sh b/make-target-contrib.sh
index 42bd56f..934fb9a 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,8 +26,11 @@ 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_BUILDING_CONTRIB=1