diff options
| -rw-r--r-- | make_ext.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_ext.pl b/make_ext.pl index 8f3e6dbf42..3c25b280ab 100644 --- a/make_ext.pl +++ b/make_ext.pl @@ -387,7 +387,7 @@ my $script_ext = $^O eq 'VMS' ? '.com' : ''; my %%pod_scripts; foreach (glob('pod*.PL')) { my $script = $_; - s/.PL$/$script_ext/; + s/.PL$/$script_ext/i; $pod_scripts{$script} = $_; } my @exe_files = values %%pod_scripts; |