From d1d6e4de34498ff93626694fd17f074e7827f1d3 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Tue, 21 Apr 2026 16:34:10 +0200
Subject: [PATCH] undo last change

---
 scripts/runner.pl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/runner.pl b/scripts/runner.pl
index 78fc868..bef6092 100644
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@@ -211,8 +211,7 @@ sub inject {
             "-Wf,--ok-marker=fail_marker_positive",
             "-Wf,--fail-marker=fail_marker_negative",
             "-Wf,--detected-marker=fail_marker_detected",
-
-            # ">/dev/null"
+            ">/dev/null"
         )
     ) == 0 or die "client failed: $?";