diff options
Diffstat (limited to 'tester.in')
-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 |