diff options
author | 2016-02-24 14:57:07 +0000 | |
---|---|---|
committer | 2016-02-24 18:01:41 +0000 | |
commit | 3b58ea944dee8d50c00696d63b394ec018914d1d (patch) | |
tree | 51d63b0a596587ea394e60210167cc4d72af8604 | |
parent | a00b99495dce0e8f353a9c858a2436cbe9b08047 (diff) |
Exclude weirdly-named files from the JDK.
This remotes one stumbling block from bootstrapping on Windows.
--
MOS_MIGRATED_REVID=115447112
-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/**", ]), |