diff options
| author | paltherr <paltherr@epfl.ch> | 2004-02-02 09:29:09 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-02-02 09:29:09 +0000 |
| commit | 4801729114c05479e1ab357da849053bd0ab55f9 (patch) | |
| tree | fbfbb6632e05a28de73ef5c929d235e36bd4d142 | |
| parent | ec2cf46df2a18f9bcc56e8ac63f27d7fed5c12a6 (diff) | |
| download | scala-4801729114c05479e1ab357da849053bd0ab55f9.tar.gz scala-4801729114c05479e1ab357da849053bd0ab55f9.tar.bz2 scala-4801729114c05479e1ab357da849053bd0ab55f9.zip | |
- Added quotes to batch files
| -rw-r--r-- | Makefile.distrib | 2 | ||||
| -rw-r--r-- | support/windows/scala_wrapper-footer.bat | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 4ad28fd3e2..0b2a73138c 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -150,7 +150,7 @@ install-windows : install winfile="$(INSTALL_PREFIX)/bin/$$file.bat"; \ nixexec=`SCALA_EXEC=echo $$nixfile`; \ winexec="$$nixexec"; \ - winexec=`echo "$$winexec" | sed -es"#$$root#%SCALA_HOME%#g"`; \ + winexec=`echo "$$winexec" | sed -es"#$$root#\"%SCALA_HOME%\"#g"`; \ winexec=`echo "$$winexec" | tr '/' '\\\\' | tr ':' ';'`; \ winexec=`echo "$$winexec" | sed -es"#Xbootclasspath.a;#Xbootclasspath/a:#g"`; \ $(RM) -f "$$winfile"; \ diff --git a/support/windows/scala_wrapper-footer.bat b/support/windows/scala_wrapper-footer.bat index b08d88700b..b86b3ba7e9 100644 --- a/support/windows/scala_wrapper-footer.bat +++ b/support/windows/scala_wrapper-footer.bat @@ -1,6 +1,6 @@ -if '%SCALA_HOME%' == '' goto error1 -if not exist %SCALA_HOME%\VERSION-%VERSION% goto error2 +if "%SCALA_HOME%" == "" goto error1 +if not exist "%SCALA_HOME%\VERSION-%VERSION%" goto error2 set ARGS= |