Pass version to java_runtimes created by local_java_repository

fmeum · iancha1992 · commit d9d7be5f6c3d · 2023-05-15T16:19:23.000-07:00
Work towards bazelbuild#17281 Closes bazelbuild#18344. PiperOrigin-RevId: 530662071 Change-Id: I9376cbc7117d9c8370cf50d42988cca44dad9785
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(

Original file line number	Diff line number	Diff line change
`@@ -62,6 +62,7 @@ def local_java_runtime(name, java_home, version, runtime_name = None, visibility`
`62`	`62`	`name = runtime_name,`
`63`	`63`	`java_home = java_home,`
`64`	`64`	`visibility = visibility,`
	`65`	`+ version = int(version) if version.isdigit() else 0,`
`65`	`66`	`)`
`66`	`67`
`67`	`68`	`native.config_setting(`