diff options
author | Lars Wirzenius <liw@iki.fi> | 2008-01-22 21:43:53 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@iki.fi> | 2008-01-22 21:43:53 +0200 |
commit | d96244de2fa97a03fcf8418d15822ae34ed7b32f (patch) | |
tree | 472b08e655d77099ee043fb0818074d7126c559f | |
parent | 5065b1998cd343cdd99f04788df243a456f98c47 (diff) | |
parent | 69567ced7b2dbf9de18fabbc055da7195efc2c03 (diff) | |
download | coverage-test-runner-d96244de2fa97a03fcf8418d15822ae34ed7b32f.tar.gz |
Merged from trunk.
-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__": |