diff options
| -rw-r--r-- | CoverageTestRunner.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/CoverageTestRunner.py b/CoverageTestRunner.py index 60c7f24..eafdd44 100644 --- a/CoverageTestRunner.py +++ b/CoverageTestRunner.py @@ -184,7 +184,9 @@ def run(dirname="."): """Use CoverageTestRunner on the desired directory.""" runner = CoverageTestRunner() runner.find_pairs(dirname) - runner.run() + result = runner.run() + if not result.wasSuccessful(): + sys.exit(1) if __name__ == "__main__": |