diff --git a/run_tests.py b/run_tests.py index 18e88c2205f8178906a7a8ab4de56260d9e7b213..dc97800c0fa3bcf43e6dd5e5a1608d26c7fc4f1e 100644 --- a/run_tests.py +++ b/run_tests.py @@ -22,7 +22,9 @@ finally: os.kill(p.pid, signal.SIGINT) time.sleep(2) try: - os.kill(p.pid, signal.SIGKILL) + + if sys.platform == "linux": + os.kill(p.pid, signal.SIGKILL) p.kill() print("Hard killed") except OSError: