christoph/failnix
1
Fork 0
Code Releases Activity

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

Browse Source
This commit is contained in:
Christoph Urlacher
2026-05-21 01:01:48 +02:00
parent dd87df37c1
commit 928719db7c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/runner.pl
View File

@ -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",