From 5d6b870ea8b7b62670d616b055b85b03f061ba2b Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Sun, 12 Dec 2010 19:13:10 +0000 Subject: New jline: BSD licensed, based on [ https://git... New jline: BSD licensed, based on [ https://github.com/jdillon/jline2 ] with additional code thanks to [ https://github.com/huynhjl/jline2 ]. Replaces lib/jline.jar with build of these sources, and modifies trunk code to work with the new jar. Hopeful improvements including baseline functionality on cygwin and 64bit windows, as well as more accurate line wrapping / cursor positioning on all platforms and ctrl-R history search. For the time being the canonical source repository is this: https://github.com/paulp/jline2 The enclosed sources are a mirror of that repository, and should be treated as read-only in the scala svn repository. No review, codewise, but people are very strongly encouraged to try it out and report any regressions. --- test/partest.bat | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'test/partest.bat') 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= -- cgit v1.2.3