Browse Source

set java.security.manager=allow in Ant launcher .bat file for Windows, for Java 18

master
Jaikiran Pai 3 years ago
parent
commit
002596a9bb
1 changed files with 7 additions and 0 deletions
  1. +7
    -0
      src/script/ant.bat

+ 7
- 0
src/script/ant.bat View File

@@ -122,6 +122,13 @@ goto checkJikes
:noJavaHome
if "%_JAVACMD%" == "" set _JAVACMD=java.exe

:setSecurityManagerOpt
"%_JAVACMD%" -XshowSettings:properties 2>&1 | find "java.specification.version = 18"
if "%ErrorLevel%" == "0" (
rem This is Java 18, so set -Djava.security.manager=allow
set ANT_OPTS="%ANT_OPTS% -Djava.security.manager=allow"
)

:checkJikes
if not "%JIKESPATH%"=="" goto runAntWithJikes



Loading…
Cancel
Save