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 /performance-test/perf-test-lib.sh | |
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 'performance-test/perf-test-lib.sh')
-rw-r--r-- | performance-test/perf-test-lib.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/performance-test/perf-test-lib.sh b/performance-test/perf-test-lib.sh index 1399d059..fb15028f 100644 --- a/performance-test/perf-test-lib.sh +++ b/performance-test/perf-test-lib.sh @@ -51,7 +51,9 @@ time_run () { if test "$verbose" != "t"; then exec 4>test.output 3>&4; fi if ! eval >&3 "/usr/bin/time -f '%e\t%U\t%S\t%M\t%I\t%O' $2" ; then test_failure=$(($test_failure + 1)) + return 1 fi + return 0 } time_done () { |