diff options
author | David Bremner <bremner@debian.org> | 2012-12-05 21:37:29 -0400 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2012-12-14 22:23:54 -0400 |
commit | e52597016f5e5dfbceb73068dd165f3f3849ee7b (patch) | |
tree | c7dcccdf84be02871d90e5396be53a47e06fbddb /debian | |
parent | e7bd40aa4cdc54322297c20d9010f77e6be4fe43 (diff) |
perf-test: propagate non-zero returns from /usr/bin/time
Unlike in the correctness tests, the most common cause of non-zero
return seems to be the user interrupting, so killing the run seems
like the friendly thing to do.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions