diff options
Diffstat (limited to 'runtests.py')
-rwxr-xr-x | runtests.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtests.py b/runtests.py index 4b71d6d0a..c3286fcf3 100755 --- a/runtests.py +++ b/runtests.py @@ -2100,3 +2100,4 @@ if __name__ == '__main__': except PendingThreadsError: # normal program exit won't kill the threads, do it the hard way here flush_and_terminate(1) + sys.exit(1) |