diff options
| -rwxr-xr-x | util/mk1mf.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/mk1mf.pl b/util/mk1mf.pl index ed65a057f0..087671b6c3 100755 --- a/util/mk1mf.pl +++ b/util/mk1mf.pl @@ -1355,7 +1355,7 @@ sub do_copy_rule if ($n =~ /bss_file/) { $pp=".c"; } else { $pp=$p; } - $ret.="$to${o}$n$pp: \$(SRC_D)$o$_$pp $to\n\t\$(SRC_D)${o}util${o}copy-if-different.pl \"\$(SRC_D)$o$_$pp\" \"$to${o}$n$pp\"\n\n"; + $ret.="$to${o}$n$pp: \$(SRC_D)$o$_$pp $to\n\t\$(PERL) \$(SRC_D)${o}util${o}copy-if-different.pl \"\$(SRC_D)$o$_$pp\" \"$to${o}$n$pp\"\n\n"; } return($ret); } |