diff --git a/scripts/build.pl b/scripts/build.pl index c651979..3805954 100755 --- a/scripts/build.pl +++ b/scripts/build.pl @@ -193,10 +193,11 @@ local $ENV{WAMR_USE_LINEAR_POOL_IN_TEXT} = # Select FAIL catch flags (written to runner_flags in each build dir) # ========================================================================================= # +# NOTE: The runner will prefix "-Wf," to each flag my %catch_flag_map = ( "--catch-outer" => "--catch-outerspace", "--catch-text" => "--catch-write-textsegment", - "--wamr-exceptions" => "-Wf,--group1-marker=fail_marker_group1", + "--wamr-exceptions" => "--group1-marker=fail_marker_group1", ); my @selected_catch_flags; if ( grep { $_ eq "fail" } @selected_targets ) {