diff options
author | Greg Estren <gregce@google.com> | 2016-11-18 21:00:07 +0000 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2016-11-21 19:39:05 +0000 |
commit | 1b80c995d0de47a6d532617289bcfce36edee9e9 (patch) | |
tree | a7b7247268d06855d30a250f1484ccc3127dccce /src/main/java/com/google/devtools/build/lib/util | |
parent | 7f8e0456efe58711aae98c95c6a9dfb57824b9c2 (diff) |
Fixes test infrastructure bug that wrongly trims output paths
for untrimmed dynamic configs.
--
MOS_MIGRATED_REVID=139612917
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/util')
0 files changed, 0 insertions, 0 deletions