phoedos/pmd
1
1
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Change starter script to support early access java builds

Browse Source
This commit is contained in:
Andreas Dangel
2018-05-30 22:00:39 +02:00
parent 9a935d8ae3
commit 677cf9a298
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pmd-dist/src/main/scripts/run.sh
View File

@ -75,8 +75,8 @@ check_lib_dir() {
}
jre_specific_vm_options() {
# java_ver is eg "18" for java 1.8, "90" for java 9.0
java_ver=$(java -version 2>&1 | sed -n ';s/^.* version "\(.*\)\.\(.*\)\..*".*$/\1\2/p;')
# java_ver is eg "18" for java 1.8, "90" for java 9.0, "100" for java 10.0.x
java_ver=$(java -version 2>&1 | sed -n -e 's/-ea/.0.0/i' -e 's/^.* version "\(.*\)\.\(.*\)\..*".*$/\1\2/p')
options=""
if [ "$java_ver" -ge 90 ] && [ "${APPNAME}" = "designer" ]