diff --git a/tools/test.py b/tools/test.py index 5be025e2d1..d711f9ca1d 100755 --- a/tools/test.py +++ b/tools/test.py @@ -1437,10 +1437,4 @@ def Main(): if __name__ == '__main__': - ret = 0 - try: - ret = Main() - sys.exit(ret) - finally: - if ret and not utils.IsWindows(): - os.killpg(0, signal.SIGKILL) + sys.exit(Main())