aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2014-05-16 07:35:40 -0700
committerBoris Kolpackov <boris@codesynthesis.com>2014-05-16 07:35:40 -0700
commit8253d9fdd049a87cd34c65b6d1a643bb091479a4 (patch)
tree48e7eca78669e1624b0bb2d938a6c3a78a57f4b2
parent8cc8d56dbaeb4360a436aaa101cc95f6d0564143 (diff)
Delete output file in case of failure
-rwxr-xr-xtester.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/tester.in b/tester.in
index e2d5297..f9beb02 100755
--- a/tester.in
+++ b/tester.in
@@ -30,6 +30,7 @@ if test -f "$srcdir/test.std"; then
./driver --options-file "$db_options" >test.out
if test $? -ne 0; then
+ rm -f test.out
exit 1
fi