diff options
author | John Cater <jcater@google.com> | 2017-12-19 13:21:05 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2017-12-19 13:22:34 -0800 |
commit | 43f45b58acf10beadbb1221b71dfa06fa1341510 (patch) | |
tree | 55b4ae3f44fdd370d2a74a0cd138f959e2869ad3 /src/main/java/com/google/devtools/build/lib/analysis/PrintActionVisitor.java | |
parent | 7fb53228b56c08785fdb474784b402cecfb4d8a8 (diff) |
Have the RemoteSpawnRunner use the execution platform present in the Spawn to get the remote execution properties.
Fixes #4128.
Change-Id: I7e71caef2465204d2dd8225448d54e52366807e6
PiperOrigin-RevId: 179595126
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/PrintActionVisitor.java')
0 files changed, 0 insertions, 0 deletions