From 980025e5a187ba2563fa5eb53d013ca3925c299c Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Fri, 17 Apr 2026 00:59:04 +0200
Subject: [PATCH] disable --catch-write-textsegment after moving mmap memory
 region into .text

---
 fail.just | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 \