diff options
-rw-r--r-- | make_ext.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make_ext.pl b/make_ext.pl index 0280a027cf..87f8bf3b28 100644 --- a/make_ext.pl +++ b/make_ext.pl @@ -523,6 +523,7 @@ EOM 'INSTALLMAN3DIR=none'; } push @args, @$pass_through; + push @args, 'PERL=' . $perl if $perl; # use miniperl to run the Makefile later _quote_args(\@args) if IS_VMS; print join(' ', $perl, @args), "\n" if $verbose; my $code = do { |