From 7a3a23b4d62ccaccc42de182ef9fa47bba8334d1 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Tue, 9 Jun 2026 13:56:35 +0200
Subject: [PATCH] Enable/disable wamr exception handler marker from build menu

---
 scripts/build.pl  | 1 +
 scripts/runner.pl | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/scripts/build.pl b/scripts/build.pl
index 57aa101..9b2adb5 100755
--- a/scripts/build.pl
+++ b/scripts/build.pl
@@ -193,6 +193,7 @@ if ( $selected_allocator_variant eq $allocator_variants[1] ) {
 my %catch_flag_map = (
     "--catch-outer" => "--catch-outerspace",
     "--catch-text"  => "--catch-write-textsegment",
+    "--wamr-exceptions" => "-Wf,--group1-marker=fail_marker_group1",
 );
 my @selected_catch_flags;
 if ( grep { $_ eq "fail" } @selected_targets ) {
diff --git a/scripts/runner.pl b/scripts/runner.pl
index 1aa3c0a..f88ce84 100644
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@@ -180,8 +180,8 @@ sub import_trace {
         "$fail_prune",    "--database-option-file $remote_db_conf",
         "-v $experiment", "-b %%",
 
-        '-p NoPruner',
-        # '-p BasicPruner',
+        # '-p NoPruner',
+        '-p BasicPruner',
         "--overwrite", ">$remote_builds_dir/$experiment/2_prune.log 2>&1"
     );
     say "Prune command: $prune_command";
@@ -237,7 +237,7 @@ sub inject {
         "-Wf,--detected-marker=fail_marker_detected",
 
         # Called in WAMR exception handler (disable for C compilation target!)
-        "-Wf,--group1-marker=fail_marker_group1",
+        # "-Wf,--group1-marker=fail_marker_group1",
 
         ">/dev/null 2>&1"