diff options
| author | Jaikiran Pai <jaikiran@apache.org> | 2022-11-08 09:13:04 +0530 |
|---|---|---|
| committer | Jaikiran Pai <jaikiran@apache.org> | 2022-11-08 09:13:04 +0530 |
| commit | bbe6859b2f57a2c9dcb51e269527f3c18a74aa1d (patch) | |
| tree | e8d8fd631d0cc403fa562b69dfbcba382d50b485 | |
| parent | 65d3af7d55b35ec0e3a3dc6a464c5f6f0ab7ef2a (diff) | |
| download | ant-bbe6859b2f57a2c9dcb51e269527f3c18a74aa1d.tar.gz | |
allow security manager setting on all versions above Java 18 (inclusive)
| -rw-r--r-- | src/script/ant | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/script/ant b/src/script/ant index b3b4c0ae1..cfeb2759f 100644 --- a/src/script/ant +++ b/src/script/ant @@ -369,8 +369,8 @@ else fi fi # Run "java -XshowSettings:properties" and check the output for "java.specification.version" value -JAVA_SPEC_VERSION=`"$JAVACMD" -XshowSettings:properties 2>&1 | grep "java.specification.version = " | tr -d '[:space:]'` -if [ "$JAVA_SPEC_VERSION" = "java.specification.version=18" ] || [ "$JAVA_SPEC_VERSION" = "java.specification.version=19" ]; then +JAVA_SPEC_VERSION=$("$JAVACMD" -XshowSettings:properties 2>&1 | grep "java.specification.version = " | tr -d '[:space:]java.specification.version=') +if [ "$JAVA_SPEC_VERSION" -ge 18 ]; then # set security manager property to allow calls to System.setSecurityManager() at runtime ANT_OPTS="$ANT_OPTS -Djava.security.manager=allow" fi |