diff options
| -rwxr-xr-x | tests/guest-debug/run-test.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/guest-debug/run-test.py b/tests/guest-debug/run-test.py index d9af957..71c5569 100755 --- a/tests/guest-debug/run-test.py +++ b/tests/guest-debug/run-test.py @@ -80,4 +80,10 @@ if __name__ == '__main__': print("GDB crashed? SKIPPING") exit(0) + try: + inferior.wait(2) + except subprocess.TimeoutExpired: + print("GDB never connected? Killed guest") + inferior.kill() + exit(result) |