diff --git a/fail.just b/fail.just index 7a3a817..e5c1a9f 100644 --- a/fail.just +++ b/fail.just @@ -79,6 +79,8 @@ stop-server: [doc("Start a FAIL* campaign client")] [group("4: fail")] client module: + # -Wf,--catch-write-textsegment + # -Wf,--catch-outerspace {{ BOCHS_RUNNER }} \ -V {{ FAIL_SHARE }}/vgabios.bin \ -b {{ FAIL_SHARE }}/BIOS-bochs-latest \ @@ -90,7 +92,6 @@ client module: -Wf,--server-port={{ FAIL_SERVER_PORT }} \ -Wf,--state-dir={{ BUILD_DIR }}-{{ module }}/state \ -Wf,--trap \ - -Wf,--catch-write-textsegment \ -Wf,--catch-outerspace \ -Wf,--timeout=500000 \ -Wf,--ok-marker=fail_marker_positive \