From 34d89b23fab29a7053766a99f69f015725b42e7f Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Mon, 11 May 2026 16:48:47 +0200 Subject: [PATCH] register group1-marker (for WAMR exception handler) --- scripts/runner.pl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/runner.pl b/scripts/runner.pl index 615b684..8ea063e 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -225,6 +225,9 @@ sub inject { "-Wf,--fail-marker=fail_marker_negative", "-Wf,--detected-marker=fail_marker_detected", + # Called in WAMR exception handler + "-Wf,--group1-marker=fail_marker_group1", + ">/dev/null" # ">$remote_builds_dir/$experiment/4_client.log"