diff --git a/tools/getjava.py b/tools/getjava.py index e19bd68be3..bdeeeac6e1 100755 --- a/tools/getjava.py +++ b/tools/getjava.py @@ -6,7 +6,7 @@ jvmVersion = None output = commands.getoutput("java -version") -regex = re.compile("java version \"(1\.\d)\..*?\"", re.IGNORECASE) +regex = re.compile("(?:java|openjdk) version \"(1\.\d)\..*?\"", re.IGNORECASE) m = regex.search(output) if m: jvmVersion = m.group(1)