diff options
author | 2016-02-08 14:55:28 +0000 | |
---|---|---|
committer | 2016-02-09 12:16:47 +0000 | |
commit | 18d1322aa35625f87573e241153acd33509028a7 (patch) | |
tree | 1ae635fda346fab30d906b119f7236c315694e3c /src/main/java/com/google/devtools/build/skyframe/ErrorInfo.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/skyframe/ErrorInfo.java')
0 files changed, 0 insertions, 0 deletions