Pass version to java_runtimes created by local_java_repository (#18415)

Work towards #17281 Closes #18344. PiperOrigin-RevId: 530662071 Change-Id: I9376cbc7117d9c8370cf50d42988cca44dad9785 Co-authored-by: Fabian Meumertzheim <[email protected]> Co-authored-by: keertk <[email protected]>
bazelbuild · May 17, 2023 · 5756652 · 5756652
1 parent 27b4fe8
commit 5756652
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/jdk/local_java_repository.bzl b/tools/jdk/local_java_repository.bzl
@@ -62,6 +62,7 @@ def local_java_runtime(name, java_home, version, runtime_name = None, visibility
             name = runtime_name,
             java_home = java_home,
             visibility = visibility,
+            version = int(version) if version.isdigit() else 0,
         )
 
     native.config_setting(