diff options
author | Paul Phillips <paulp@improving.org> | 2011-11-13 01:57:03 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-11-13 01:57:03 +0000 |
commit | e864f48338df3f08b4dd8dbdb2257296a322f673 (patch) | |
tree | 56c0d4e298d8d5f797d1e9f825a76a36c71b6163 | |
parent | 0c4ad65950b99a310d210f2158e091997099fe1c (diff) | |
download | scala-e864f48338df3f08b4dd8dbdb2257296a322f673.tar.gz scala-e864f48338df3f08b4dd8dbdb2257296a322f673.tar.bz2 scala-e864f48338df3f08b4dd8dbdb2257296a322f673.zip |
scala.bat expansion with quotes and spaces.
Closes SI-4858.
-rw-r--r-- | src/compiler/scala/tools/ant/templates/tool-windows.tmpl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/ant/templates/tool-windows.tmpl b/src/compiler/scala/tools/ant/templates/tool-windows.tmpl index fee4de72e2..c59d46683e 100644 --- a/src/compiler/scala/tools/ant/templates/tool-windows.tmpl +++ b/src/compiler/scala/tools/ant/templates/tool-windows.tmpl @@ -38,7 +38,7 @@ call :set_home rem We use the value of the JAVACMD environment variable if defined
set _JAVACMD=%JAVACMD%
-if "%_JAVACMD%"=="" (
+if not defined _JAVACMD (
if not "%JAVA_HOME%"=="" (
if exist "%JAVA_HOME%\bin\java.exe" set "_JAVACMD=%JAVA_HOME%\bin\java.exe"
)
@@ -48,7 +48,7 @@ if "%_JAVACMD%"=="" set _JAVACMD=java rem We use the value of the JAVA_OPTS environment variable if defined
set _JAVA_OPTS=%JAVA_OPTS%
-if "%_JAVA_OPTS%"=="" set _JAVA_OPTS=@javaflags@
+if not defined _JAVA_OPTS set _JAVA_OPTS=@javaflags@
set _TOOL_CLASSPATH=@classpath@
if "%_TOOL_CLASSPATH%"=="" (
|