diff options
| author |  Lukacs Berki <lberki@google.com> | 2015-12-08 13:08:15 +0000 |
|---|---|---|
| committer | Lukacs Berki <lberki@google.com> | 2015-12-08 13:17:27 +0000 |
| commit | fcb3f8468a9f949e243bf93c65e9b2e4f6565b9b (patch) | |
| tree | f7c43f16abc90aea0ae27dea5146218c53859789 /tools | |
| parent | f9fdc8dfced8b2b14561720623126a91e04b22cb (diff) | |
Make "//..." do not find packages in the base workspace.
This is a temporary hack until the base workspace goes away.
Fixes #652.
--
MOS_MIGRATED_REVID=109677574
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/DONT_FOLLOW_SYMLINKS_WHEN_TRAVERSING_THIS_DIRECTORY_VIA_A_RECURSIVE_TARGET_PATTERN | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/DONT_FOLLOW_SYMLINKS_WHEN_TRAVERSING_THIS_DIRECTORY_VIA_A_RECURSIVE_TARGET_PATTERN b/tools/DONT_FOLLOW_SYMLINKS_WHEN_TRAVERSING_THIS_DIRECTORY_VIA_A_RECURSIVE_TARGET_PATTERN deleted file mode 100644 index e69de29bb2..0000000000 --- a/tools/DONT_FOLLOW_SYMLINKS_WHEN_TRAVERSING_THIS_DIRECTORY_VIA_A_RECURSIVE_TARGET_PATTERN +++ /dev/null |