diff options
author | michelou <michelou@epfl.ch> | 2011-10-15 09:31:50 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2011-10-15 09:31:50 +0000 |
commit | 58bc507ee1f0894b63f56aa094f5b84c94b4f295 (patch) | |
tree | c80d46ce1f7951312c1bd91148f42ffad12c4374 | |
parent | e52053f10b65105ca6ba58806da41a0d14803a37 (diff) | |
download | scala-58bc507ee1f0894b63f56aa094f5b84c94b4f295.tar.gz scala-58bc507ee1f0894b63f56aa094f5b84c94b4f295.tar.bz2 scala-58bc507ee1f0894b63f56aa094f5b84c94b4f295.zip |
removed quotes in partest.bat, added svn props
-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 9ffed9b480..115757d76b 100755 --- a/test/partest.bat +++ b/test/partest.bat @@ -1,7 +1,7 @@ @echo off
rem ##########################################################################
-rem # Scala code runner 2.7.0-final
+rem # Scala code runner 2.9.1.final
rem ##########################################################################
rem # (c) 2002-2011 LAMP/EPFL
rem #
@@ -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=
|