diff options
| author |  ruperts <ruperts@google.com> | 2017-12-13 13:28:02 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2017-12-13 13:29:31 -0800 |
| commit | 29a3b04bd97d2d139202a12e282e74142c49d202 (patch) | |
| tree | 7a988a13acd2f36623034cb94b2b0fd3a6b216fb /src/test/shell/integration/rc_options_test.sh | |
| parent | c24b3ec470f4657cdc132ff08e16d36ac2bff14b (diff) | |
Make linux-sandbox output execution statistics for executed commands.
For example, it now outputs resource usage statistics like the amount of user time and system time used.
RELNOTES: None
PiperOrigin-RevId: 178948958
Diffstat (limited to 'src/test/shell/integration/rc_options_test.sh')
0 files changed, 0 insertions, 0 deletions