From 928719db7c404e8bbb6cbf13608ecc9ffec11613 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Thu, 21 May 2026 01:01:48 +0200
Subject: [PATCH] disable --catch-outerspace and --catch-write-textsegment

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

diff --git a/scripts/runner.pl b/scripts/runner.pl
index e2845e3..5c29ede 100644
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@@ -218,8 +218,8 @@ sub inject {
         # "-Wf,--server-port=$fail_server_port",
         "-Wf,--state-dir=$remote_builds_dir/$experiment/state",
         "-Wf,--trap",
-        "-Wf,--catch-outerspace",
-        "-Wf,--catch-write-textsegment",
+        #"-Wf,--catch-outerspace",
+        #"-Wf,--catch-write-textsegment",
         "-Wf,--timeout=500000",
         "-Wf,--ok-marker=fail_marker_positive",
         "-Wf,--fail-marker=fail_marker_negative",