From 1c1584b4081972c69d7746243f023257387d8121 Mon Sep 17 00:00:00 2001 From: Fabian Meumertzheim Date: Tue, 9 May 2023 11:12:57 -0700 Subject: [PATCH] Pass version to java_runtimes created by local_java_repository Work towards #17281 Closes #18344. PiperOrigin-RevId: 530662071 Change-Id: I9376cbc7117d9c8370cf50d42988cca44dad9785 --- tools/jdk/local_java_repository.bzl | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/jdk/local_java_repository.bzl b/tools/jdk/local_java_repository.bzl index ac7dbc5f3a0a93..74cbf0b4690d86 100644 --- 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(