From 8253d9fdd049a87cd34c65b6d1a643bb091479a4 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov 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