diff options
author | Lukacs Berki <lberki@google.com> | 2015-12-14 09:30:25 +0000 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2015-12-14 12:54:29 +0000 |
commit | 0c8049f5fc866d785dd83769fa6c38ecf771ba96 (patch) | |
tree | 7319451409f591053ddfbff02d6b7b27b2bcc6e7 /src/main/java/com/google/devtools/build/lib/BUILD | |
parent | 23ad8f6c9cc417716426f488839e2dbe4bf03e1c (diff) |
Do not make labels without a specified repository in hidden attributes always point to the main repository.
They now all point to @bazel_tools anyway, so there is no need.
Fixes #700 (what a delightfully round bug number!)
--
MOS_MIGRATED_REVID=110132857
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/BUILD')
0 files changed, 0 insertions, 0 deletions