diff options
| author |  ruperts <ruperts@google.com> | 2017-11-29 04:05:57 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2017-11-29 04:07:53 -0800 |
| commit | 720d66f1b6de839d64d049e365da04fb4f98fb04 (patch) | |
| tree | 86785fe8befba0733c3e2ccf3ae5238a0c3300d2 /tools | |
| parent | 4d7f8f7846960ffc111cf1aef2a5efb094114442 (diff) | |
Add user and system time to CommandResults, and plumb them into SpawnResults.
RELNOTES: None
PiperOrigin-RevId: 177290508
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions