aboutsummaryrefslogtreecommitdiff
path: root/tester.in
diff options
context:
space:
mode:
Diffstat (limited to 'tester.in')
-rwxr-xr-xtester.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/tester.in b/tester.in
index b34c6ab..34e31a5 100755
--- a/tester.in
+++ b/tester.in
@@ -26,6 +26,9 @@ if test -f "$srcdir/test.std"; then
fi
@DIFF@ @DIFFFLAGS@ "$srcdir/test.std" test.out
+ r=$?
+ rm -f test.out
+ exit $r
else
./driver --options-file "$top_builddir/db.options"
fi