diff options
author | 2015-06-19 10:51:21 +0000 | |
---|---|---|
committer | 2015-06-19 11:05:59 +0000 | |
commit | 351e9db937573ee637ac7f8965bed0186ae3a314 (patch) | |
tree | cce9ff8a0c3a48f344a35505f11358fcb6e17f5b /src | |
parent | 62d200cac1f8ed3d952e311c99a017e9065fac15 (diff) |
Reintroduce langtools and langtools-neverlink in jdk.BUILD
Removing them would break people that have their tools folder checked in
their workspace.
--
MOS_MIGRATED_REVID=96392423
Diffstat (limited to 'src')
-rw-r--r-- | src/main/tools/jdk.BUILD | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/main/tools/jdk.BUILD b/src/main/tools/jdk.BUILD index af75f3f1b0..871fd9e32a 100644 --- a/src/main/tools/jdk.BUILD +++ b/src/main/tools/jdk.BUILD @@ -52,3 +52,14 @@ filegroup( name = "jdk-default", srcs = glob(["bin/*"]), ) + +filegroup( + name = "langtools", + srcs = ["lib/tools.jar"], +) + +java_import( + name = "langtools-neverlink", + jars = ["lib/tools.jar"], + neverlink = 1, +) |