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 | python-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__": |