luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #272 from gladiac1337/fix-sbt-bat 

Add --java-home and fix JVM_DEBUG in sbt.bat
This commit is contained in:
eugene yokota 2019-07-19 18:55:01 -04:00 committed by GitHub
parent 34d17d8573 4a61c27538
commit c033559e1c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 23 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/universal/bin/sbt.bat
View File

@ -64,8 +64,11 @@ set INIT_SBT_VERSION=_TO_BE_REPLACED
:args_loop
if "%~1" == "" goto args_end
if "%~1" == "-jvm-debug" set set JVM_DEBUG=true
if "%~1" == "--jvm-debug" set set JVM_DEBUG=true
if "%~1" == "-jvm-debug" set JVM_DEBUG=true
if "%~1" == "--jvm-debug" set JVM_DEBUG=true
if "%~1" == "-java-home" set SET_JAVA_HOME=true
if "%~1" == "--java-home" set SET_JAVA_HOME=true
if "%JVM_DEBUG%" == "true" (
set /a JVM_DEBUG_PORT=5005 2>nul >nul
@ -81,6 +84,24 @@ if "%JVM_DEBUG%" == "true" (
set SBT_ARGS=!SBT_ARGS! %1
)
if "%SET_JAVA_HOME%" == "true" (
set SET_JAVA_HOME=
if NOT "%~2" == "" (
if exist "%~2\bin\java.exe" (
set _JAVACMD="%~2\bin\java.exe"
set JAVA_HOME="%~2"
set JDK_HOME="%~2"
shift
) else (
echo Directory "%~2" for JAVA_HOME is not valid
goto error
)
) else (
echo Second argument for --java-home missing
goto error
)
)
shift
goto args_loop
:args_end