diff options
| author |  Lukacs Berki <lberki@google.com> | 2016-02-24 14:57:07 +0000 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2016-02-24 18:01:41 +0000 |
| commit | 3b58ea944dee8d50c00696d63b394ec018914d1d (patch) | |
| tree | 51d63b0a596587ea394e60210167cc4d72af8604 /src/main/tools/jdk.BUILD | |
| parent | a00b99495dce0e8f353a9c858a2436cbe9b08047 (diff) | |
Exclude weirdly-named files from the JDK.
This remotes one stumbling block from bootstrapping on Windows.
--
MOS_MIGRATED_REVID=115447112
Diffstat (limited to 'src/main/tools/jdk.BUILD')
| -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/**", ]), |