diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2014-05-16 07:35:40 -0700 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2014-05-16 07:35:40 -0700 |
commit | 8253d9fdd049a87cd34c65b6d1a643bb091479a4 (patch) | |
tree | 48e7eca78669e1624b0bb2d938a6c3a78a57f4b2 | |
parent | 8cc8d56dbaeb4360a436aaa101cc95f6d0564143 (diff) |
Delete output file in case of failure
-rwxr-xr-x | tester.in | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |