diff options
| author |  Luis Fernando Pino Duque <lpino@google.com> | 2016-02-08 14:55:28 +0000 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2016-02-09 12:16:47 +0000 |
| commit | 18d1322aa35625f87573e241153acd33509028a7 (patch) | |
| tree | 1ae635fda346fab30d906b119f7236c315694e3c /src/main/java/com/google/devtools/build/lib/UnixJniLoader.java | |
| parent | 552e3e40658e689881d44d69ed8ffcd6c45ae995 (diff) | |
Replace getToolsRepository() with getToolsLabel(String labelValue) which prepends the tools repository path to the given string and parses the result as a label.
This is a cleaner way to access the tools repository label.
--
MOS_MIGRATED_REVID=114105929
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/UnixJniLoader.java')
0 files changed, 0 insertions, 0 deletions