tree 1ae635fda346fab30d906b119f7236c315694e3c
parent 552e3e40658e689881d44d69ed8ffcd6c45ae995
author Luis Fernando Pino Duque <lpino@google.com> 1454943328 +0000
committer Dmitry Lomov <dslomov@google.com> 1455020207 +0000

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