diff options
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index 17f88cd3771..6632b6c3f73 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -2103,7 +2103,7 @@ def runTests(mappings=None, drivers=None): # Finally, run the test suites with the driver. # try: - driver.run(mappings) + sys.exit(driver.run(mappings)) except KeyboardInterrupt: pass finally: |