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