diff options
Diffstat (limited to 'test/partest.bat')
| -rwxr-xr-x | test/partest.bat | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/partest.bat b/test/partest.bat index 39fe830082..234f8de9ae 100755 --- a/test/partest.bat +++ b/test/partest.bat @@ -19,7 +19,7 @@ if "%OS%"=="Windows_NT" ( call :set_home
set _ARGS=%*
) else (
- set _SCALA_HOME=%SCALA_HOME%
+ set _SCALA_HOME="%SCALA_HOME%"
rem The following line tests SCALA_HOME instead of _SCALA_HOME, because
rem the above change to _SCALA_HOME is not visible within this block.
if "%SCALA_HOME%"=="" goto error1
@@ -31,11 +31,11 @@ set _JAVACMD=%JAVACMD% if "%_JAVACMD%"=="" set _JAVACMD=java
rem We use the value of the JAVA_OPTS environment variable if defined
-set _JAVA_OPTS=%JAVA_OPTS%
+set _JAVA_OPTS="%JAVA_OPTS%"
if "%_JAVA_OPTS%"=="" set _JAVA_OPTS=-Xmx256M -Xms16M
rem We use the value of the SCALAC_OPTS environment variable if defined
-set _SCALAC_OPTS=%SCALAC_OPTS%
+set _SCALAC_OPTS="%SCALAC_OPTS%"
if "%_SCALAC_OPTS%"=="" set _SCALAC_OPTS=-deprecation
set _EXTENSION_CLASSPATH=
|