Enable/disable wamr exception handler marker from build menu

2026-06-09 13:56:35 +02:00
parent 454a85043f
commit 7a3a23b4d6
2 changed files with 4 additions and 3 deletions
--- 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 ) {