From 8253d9fdd049a87cd34c65b6d1a643bb091479a4 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Fri, 16 May 2014 07:35:40 -0700
Subject: Delete output file in case of failure

---
 tester.in | 1 +
 1 file changed, 1 insertion(+)

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
 
-- 
cgit v1.1