diff options
| -rw-r--r-- | src/main/tools/jdk.BUILD | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/src/main/tools/jdk.BUILD b/src/main/tools/jdk.BUILD index 2857fee46f..8d20f24f1f 100644 --- a/src/main/tools/jdk.BUILD +++ b/src/main/tools/jdk.BUILD @@ -22,19 +22,29 @@ filegroup( filegroup( name = "java", - srcs = ["bin/java"], + srcs = select({ + ":windows" : ["bin/java.exe"], + "//conditions:default" : ["bin/java"], + }), ) filegroup( name = "jar", - srcs = ["bin/jar"], + srcs = select({ + ":windows" : ["bin/jar.exe"], + "//conditions:default" : ["bin/jar"], + }), ) filegroup( name = "javac", - srcs = ["bin/javac"], + srcs = select({ + ":windows" : ["bin/javac.exe"], + "//conditions:default" : ["bin/javac"], + }), ) + filegroup( name = "xjc", srcs = ["bin/xjc"], @@ -121,3 +131,9 @@ java_import( jars = ["lib/tools.jar"], neverlink = 1, ) + +config_setting( + name = "windows", + values = {"cpu": "x64_windows"}, + visibility = ["//visibility:private"], +) |