reenable --catch-outerspace and --catch-write-textsegment
This commit is contained in:
@ -230,9 +230,8 @@ sub inject {
|
|||||||
"-Wf,--server-port=$fail_server_port",
|
"-Wf,--server-port=$fail_server_port",
|
||||||
"-Wf,--state-dir=$remote_builds_dir/$experiment/state",
|
"-Wf,--state-dir=$remote_builds_dir/$experiment/state",
|
||||||
"-Wf,--trap",
|
"-Wf,--trap",
|
||||||
|
"-Wf,--catch-outerspace",
|
||||||
# "-Wf,--catch-outerspace",
|
"-Wf,--catch-write-textsegment",
|
||||||
# "-Wf,--catch-write-textsegment",
|
|
||||||
"-Wf,--timeout=500000",
|
"-Wf,--timeout=500000",
|
||||||
"-Wf,--ok-marker=fail_marker_positive",
|
"-Wf,--ok-marker=fail_marker_positive",
|
||||||
"-Wf,--fail-marker=fail_marker_negative",
|
"-Wf,--fail-marker=fail_marker_negative",
|
||||||
|
|||||||
Reference in New Issue
Block a user