diff options
author | Rudi Schlatte <rudi@constantly.at> | 2006-04-05 07:46:56 +0000 |
---|---|---|
committer | Rudi Schlatte <rudi@constantly.at> | 2006-04-05 07:46:56 +0000 |
commit | 2365c1b81d99c8e8e34665052f5b47be5cd6cd74 (patch) | |
tree | 453b2f7999dedc2a3ed1d3f05e33c55faf78c390 /make.sh | |
parent | 20c0ab0df7e895d55ef79cfe815e3d58870703a3 (diff) |
0.9.11.12
new toplevel options --no-sysinit, --no-userinit to inhibit
loading the corresponding init files
... also fixes the win32 build failure that motivated this change
Diffstat (limited to 'make.sh')
-rwxr-xr-x | make.sh | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -60,7 +60,11 @@ export LANG LC_ALL build_started=`date` echo "//starting build: $build_started" -SBCL_XC_HOST="${1:-sbcl --disable-debugger --userinit /dev/null --sysinit /dev/null}" +if [ "$OSTYPE" = "cygwin" -o "$OSTYPE" = "msys" ] ; then + SBCL_XC_HOST="${1:-sbcl --disable-debugger --userinit NUL --sysinit NUL}" +else + SBCL_XC_HOST="${1:-sbcl --disable-debugger --userinit /dev/null --sysinit /dev/null}" +fi export SBCL_XC_HOST echo //SBCL_XC_HOST=\"$SBCL_XC_HOST\" |