From a2ba458c542605f18bc7141062af1d1c42cbf9ca Mon Sep 17 00:00:00 2001 From: drunkendog Date: Tue, 12 Sep 2023 13:30:10 +0100 Subject: [PATCH] Update run-tests.py --- run-tests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-tests.py b/run-tests.py index 74bc7ed..49dc294 100644 --- a/run-tests.py +++ b/run-tests.py @@ -11,7 +11,7 @@ file_list = [x.rstrip(".case") for x in glob.glob(f"{os.path.dirname(__file__)}/ file_only_list = [os.path.basename(x) for x in file_list] if sys.platform == "win32": - subprocess.run("color", check=True) # enables ANSI escape characters, bug in Python + os.system("color") # enables ANSI escape characters, bug in Python for file_name in glob.glob("*.c", recursive=False): if file_name.rstrip(".c") in file_only_list: