From 677cf9a2986414b9b4e39d67440cb44ad48f725d Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Wed, 30 May 2018 22:00:39 +0200 Subject: [PATCH] Change starter script to support early access java builds --- pmd-dist/src/main/scripts/run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pmd-dist/src/main/scripts/run.sh b/pmd-dist/src/main/scripts/run.sh index 7ff7e02438..5069b6a930 100755 --- a/pmd-dist/src/main/scripts/run.sh +++ b/pmd-dist/src/main/scripts/run.sh @@ -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" ]