commit 87e097d28b03f7887e85f9161242adfdda3697c2
author Alexei Filippov <alph@chromium.org> Tue Nov 06 19:18:29 2018 +0000
committer Commit Bot <commit-bot@chromium.org> Tue Nov 06 19:18:29 2018 +0000
tree 2561ff2ae0e3bd4bfb6579b3417e76adb62c093e
parent 72d792d0157c082d314b8892083b13b2e3708e3a

DevTools: Fix java version check.

Change-Id: I231ac01a72c90d4d6feac86ae8278590f3e494cf
Reviewed-on: https://chromium-review.googlesource.com/c/1315994
Reviewed-by: Pavel Feldman <pfeldman@chromium.org>
Commit-Queue: Alexei Filippov <alph@chromium.org>
Cr-Original-Commit-Position: refs/heads/master@{#605775}
Cr-Mirrored-From: https://chromium.googlesource.com/chromium/src
Cr-Mirrored-Commit: 0548146dc408876427a82a136aca2c4b311c0df1

scripts/compile_frontend.py

diff --git a/scripts/compile_frontend.py b/scripts/compile_frontend.py
index 223b014..da85cb7 100755
--- a/scripts/compile_frontend.py
+++ b/scripts/compile_frontend.py
@@ -216,7 +216,7 @@
     if match:
         major = int(match.group(1))
         minor = int(match.group(2))
-        is_ok = major >= required_major and minor >= required_minor
+        is_ok = major > required_major or major == required_major and minor >= required_minor
     if is_ok:
         exec_command = [java_path, '-Xms1024m', '-server', '-XX:+TieredCompilation']
         check_server_proc = popen(exec_command + ['-version'])