diff options
author | 2018-07-26 07:46:15 -0700 | |
---|---|---|
committer | 2018-07-26 07:47:48 -0700 | |
commit | 09efb3fb5cbefe48d7c6685b01cfd72f848563c8 (patch) | |
tree | 24f28786c42e6245ff0c8f99391a645d7610d741 /src/main/java/com/google/devtools/build/lib/worker/Worker.java | |
parent | 74146fdbcc4eb0463e64588a764b22e253a405ac (diff) |
Use the path resolver when dealing with tree artifacts.
RELNOTES: None
PiperOrigin-RevId: 206157591
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/worker/Worker.java')
0 files changed, 0 insertions, 0 deletions