disable --catch-write-textsegment

2026-04-27 15:57:17 +02:00
parent 4d0693dd30
commit f2559c8445
2 changed files with 56 additions and 55 deletions
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@ -231,8 +231,9 @@ sub inject {
            "-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",