diff options
Diffstat (limited to 'testsuite/driver/runtests.py')
| -rw-r--r-- | testsuite/driver/runtests.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/driver/runtests.py b/testsuite/driver/runtests.py index 98d6c134b9..a64f9a1a25 100644 --- a/testsuite/driver/runtests.py +++ b/testsuite/driver/runtests.py @@ -462,6 +462,11 @@ else: break oneTest(watcher) except KeyboardInterrupt: + # Signal we are stopping + stopNow() + # Acquire all slots in the semaphore + acquire_all() + # Exit pass # flush everything before we continue |