From 0271bf92e267fe4b7cb496d848b8e5f0b4a65001 Mon Sep 17 00:00:00 2001 From: Josh Suereth Date: Thu, 2 Feb 2012 15:35:38 -0500 Subject: [PATCH] Improvements to sbt.bat suggested by @retronym --- project/packaging.scala | 1 + src/windows/sbt.bat | 41 ++++++++++++++++++++++++++++++++++++++++- 2 files changed, 41 insertions(+), 1 deletion(-) diff --git a/project/packaging.scala b/project/packaging.scala index 6f8b7dcf5..2af79e724 100644 --- a/project/packaging.scala +++ b/project/packaging.scala @@ -173,6 +173,7 @@ object Packaging { diff --git a/src/windows/sbt.bat b/src/windows/sbt.bat index 70ccb8de0..84881fdb4 100644 --- a/src/windows/sbt.bat +++ b/src/windows/sbt.bat @@ -1,3 +1,42 @@ +@REM SBT launcher script +@REM +@REM Envioronment: +@REM JAVA_HOME - location of a JDK home dir (mandatory) +@REM SBT_OPTS - JVM options (optional) + + +@setlocal + @echo off set SBT_HOME=%~dp0 -java -Xmx512M -Dsbt.log.format=true -cp "%SBT_HOME%jansi.jar;%SBT_HOME%sbt-launch.jar;%SBT_HOME%classes" SbtJansiLaunch %* +set ERROR_CODE=0 + +rem We use the value of the JAVACMD environment variable if defined +set _JAVACMD=%JAVACMD% + +if "%_JAVACMD%"=="" ( + if not "%JAVA_HOME%"=="" ( + if exist "%JAVA_HOME%\bin\java.exe" set "_JAVACMD=%JAVA_HOME%\bin\java.exe" + ) +) + +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=-Xmx512M -XX:MaxPermSize=256m -XX:ReservedCodeCacheSize=128m -Dsbt.log.format=true + +:run + +"%_JAVACMD%" %_JAVA_OPTS% %SBT_OPTS% -cp "%SBT_HOME%jansi.jar;%SBT_HOME%sbt-launch.jar;%SBT_HOME%classes" SbtJansiLaunch %* +if ERRORLEVEL 1 goto error +goto end + +:error +set ERROR_CODE=1 + +:end + +@endlocal + +exit /B %ERROR_CODE% \ No newline at end of file