diff options
Diffstat (limited to 'Tools/scripts')
| -rw-r--r-- | Tools/scripts/run_tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/run_tests.py b/Tools/scripts/run_tests.py index b451a75..b582e13 100644 --- a/Tools/scripts/run_tests.py +++ b/Tools/scripts/run_tests.py @@ -50,7 +50,7 @@ def main(regrtest_args): print(' '.join(args)) if sys.platform == 'win32': from subprocess import call - call(args) + sys.exit(call(args)) else: os.execv(sys.executable, args) |