perf-test: propagate non-zero returns from /usr/bin/time
authorDavid Bremner <bremner@debian.org>
Thu, 6 Dec 2012 01:37:29 +0000 (21:37 -0400)
committerDavid Bremner <bremner@debian.org>
Sat, 15 Dec 2012 02:23:54 +0000 (22:23 -0400)
commite52597016f5e5dfbceb73068dd165f3f3849ee7b
treec7dcccdf84be02871d90e5396be53a47e06fbddb
parente7bd40aa4cdc54322297c20d9010f77e6be4fe43
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.
performance-test/perf-test-lib.sh