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"