diff options
author | Jaikiran Pai <jaikiran@apache.org> | 2021-12-01 09:01:28 +0530 |
---|---|---|
committer | Jaikiran Pai <jaikiran@apache.org> | 2021-12-01 09:01:28 +0530 |
commit | 002596a9bb830257250ea394a2637d57209edb3b (patch) | |
tree | c1b4bbac1b27a60d9734343a31e334401b23b345 /src | |
parent | e8db3b1010435c4c6c35dddadeb410df1ae08522 (diff) | |
download | ant-002596a9bb830257250ea394a2637d57209edb3b.tar.gz |
set java.security.manager=allow in Ant launcher .bat file for Windows, for Java 18
Diffstat (limited to 'src')
-rwxr-xr-x | src/script/ant.bat | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/script/ant.bat b/src/script/ant.bat index 553af258c..69041a59b 100755 --- a/src/script/ant.bat +++ b/src/script/ant.bat @@ -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 |