From 33b8eb29f0d0c8c430d658c452b951e71530fd3e Mon Sep 17 00:00:00 2001
From: Daniel Savchenko <dsavchenko@carlos.informatik.rwth-aachen.de>
Date: Thu, 14 Nov 2024 11:54:06 +0100
Subject: [PATCH] changed '\' to '/' such that Mac does not give warning

---
 tests/run_tests.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/run_tests.py b/tests/run_tests.py
index 5d01c47a..689b8b38 100644
--- a/tests/run_tests.py
+++ b/tests/run_tests.py
@@ -154,7 +154,7 @@ elif sys.platform == "win32":
        message("Error: the folder ../Build has not been found!")
        exit(1)
 
-    src_files = os.listdir("..\Build")
+    src_files = os.listdir("../Build")
     for file_name in src_files:
         full_file_name = os.path.join("..\Build", file_name)
         if os.path.isfile(full_file_name) and full_file_name.endswith(".dll"):
-- 
GitLab