register group1-marker (for WAMR exception handler)

This commit is contained in:
2026-05-11 16:48:47 +02:00
parent eefabbd043
commit 34d89b23fa

View File

@ -225,6 +225,9 @@ sub inject {
"-Wf,--fail-marker=fail_marker_negative", "-Wf,--fail-marker=fail_marker_negative",
"-Wf,--detected-marker=fail_marker_detected", "-Wf,--detected-marker=fail_marker_detected",
# Called in WAMR exception handler
"-Wf,--group1-marker=fail_marker_group1",
">/dev/null" ">/dev/null"
# ">$remote_builds_dir/$experiment/4_client.log" # ">$remote_builds_dir/$experiment/4_client.log"