diff options
author | Sven Gothel <[email protected]> | 2019-08-18 04:38:49 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2019-08-18 04:38:49 +0200 |
commit | 0f370707ed27dff495c5d091d284f7a006cb28a0 (patch) | |
tree | 71badac8088583dd8594e15b8b7947547c7c702f /make | |
parent | 189f8ede61afea66ea14f7402dac10381a98c9ca (diff) |
Bug 1363: Java 11: Java version must be 11 or greater; Fix HowToBuild: Give detailed build commandline.
Diffstat (limited to 'make')
-rwxr-xr-x | make/jogamp-env.xml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/make/jogamp-env.xml b/make/jogamp-env.xml index 6eb2e86..67309ab 100755 --- a/make/jogamp-env.xml +++ b/make/jogamp-env.xml @@ -48,19 +48,14 @@ </condition> </fail> - <fail message="Unsupported Java version: ${ant.java.version}. Make sure that the version of the Java compiler is 1.8 (8.0) or greater."> + <fail message="Unsupported Java version: ${ant.java.version}. Make sure that the version of the Java compiler is 1.11 (11.0) or greater."> <condition> <not> <or> - <equals arg1="${ant.java.version}" arg2="1.8"/> - <equals arg1="${ant.java.version}" arg2="1.9"/> - <equals arg1="${ant.java.version}" arg2="1.10"/> <equals arg1="${ant.java.version}" arg2="1.11"/> <equals arg1="${ant.java.version}" arg2="1.12"/> <equals arg1="${ant.java.version}" arg2="1.13"/> <equals arg1="${ant.java.version}" arg2="1.14"/> - <equals arg1="${ant.java.version}" arg2="9"/> - <equals arg1="${ant.java.version}" arg2="10"/> <equals arg1="${ant.java.version}" arg2="11"/> <equals arg1="${ant.java.version}" arg2="12"/> <equals arg1="${ant.java.version}" arg2="13"/> @@ -81,9 +76,6 @@ <condition property="javadoc.xarg1" value="-Xdoclint:none" else="-J-Ddummy=val"> <or> - <equals arg1="${ant.java.version}" arg2="1.8"/> - <equals arg1="${ant.java.version}" arg2="9"/> - <equals arg1="${ant.java.version}" arg2="10"/> <equals arg1="${ant.java.version}" arg2="11"/> <equals arg1="${ant.java.version}" arg2="12"/> <equals arg1="${ant.java.version}" arg2="13"/> |