diff options
Diffstat (limited to 'makedef.pl')
-rw-r--r-- | makedef.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makedef.pl b/makedef.pl index 5a5a4d1070..0d594043d0 100644 --- a/makedef.pl +++ b/makedef.pl @@ -700,7 +700,7 @@ unless ($Config{d_wcrtomb}) { { my %seen; my ($embed) = setup_embed($ARGS{TARG_DIR}); - my $excludedre = $define{'NO_MATHOMS'} ? qr/[emib]/ : qr/[emi]/; + my $excludedre = $define{'NO_MATHOMS'} ? qr/[emiIb]/ : qr/[emiI]/; foreach (@$embed) { my ($flags, $retval, $func, @args) = @$_; |