diff options
Diffstat (limited to 'test/testrunner.pl')
| -rw-r--r-- | test/testrunner.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/testrunner.pl b/test/testrunner.pl index 5b5d19c..1c6c66d 100644 --- a/test/testrunner.pl +++ b/test/testrunner.pl @@ -111,7 +111,7 @@ while (my $line = <TINDEX>) { print "\n\nFailure detected: " . "consult log file\n\n\n"; -# exit(1); + exit(1); } } @@ -153,7 +153,7 @@ while (my $line = <TINDEX>) { print "\n\nFailure detected: " . "consult log file\n\n\n"; -# exit(1); + exit(1); } } |