diff --git a/scripts/runner.pl b/scripts/runner.pl index 50dbdef..84bd078 100644 --- 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",