disable --catch-outerspace and --catch-write-textsegment

2026-04-27 18:49:51 +02:00
parent aabbd1311d
commit 59d3c7f824
1 changed files with 1 additions and 2 deletions
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@ -231,8 +231,7 @@ sub inject {
            "-Wf,--state-dir=$remote_builds_dir/$experiment/state",
            "-Wf,--trap",

-            "-Wf,--catch-outerspace",
-
+            # "-Wf,--catch-outerspace",
            # "-Wf,--catch-write-textsegment",
            "-Wf,--timeout=500000",
            "-Wf,--ok-marker=fail_marker_positive",