diff options
-rw-r--r-- | src/main/tools/jdk.BUILD | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/main/tools/jdk.BUILD b/src/main/tools/jdk.BUILD index 8d20f24f1f..41f2d6398b 100644 --- a/src/main/tools/jdk.BUILD +++ b/src/main/tools/jdk.BUILD @@ -93,7 +93,11 @@ filegroup( filegroup( name = "jdk-bin", - srcs = glob(["bin/**"]), + srcs = glob( + ["bin/**"], + # The JDK on Windows sometimes contains a directory called + # "%systemroot%", which is not a valid label. + exclude = ["**/*%*/**"]), ) filegroup( @@ -105,7 +109,7 @@ filegroup( name = "jdk-lib", srcs = glob( ["lib/**"], - exclude= [ + exclude = [ "lib/missioncontrol/**", "lib/visualvm/**", ]), |