From 6f66a62c87766d9993d2b65451b248d1874e2a19 Mon Sep 17 00:00:00 2001
From: Daniel Savchenko <dsavchenko@carlos.informatik.rwth-aachen.de>
Date: Fri, 11 Oct 2024 20:34:11 +0200
Subject: [PATCH] remove the stdin part
---
tests/run_tests.py | 1 -
1 file changed, 1 deletion(-)
diff --git a/tests/run_tests.py b/tests/run_tests.py
index 36685f5c..0bde76b8 100644
--- a/tests/run_tests.py
+++ b/tests/run_tests.py
@@ -185,7 +185,6 @@ print("Working directory for test execution: " + os.getcwd(), flush=True)
# call ctest
ctest = subprocess.run(
[ctest_executable, "-C", "Debug", "--no-tests=error", "--no-compress-output", "--output-on-failure","--gtest_output=xml:report.xml"],
- stdin=subprocess.DEVNULL,
stdout=subprocess.PIPE,
stderr=subprocess.PIPE)
--
GitLab