diff options
Diffstat (limited to 'util/pl/f')
-rw-r--r-- | util/pl/f | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/util/pl/f b/util/pl/f deleted file mode 100644 index a280b70550..0000000000 --- a/util/pl/f +++ /dev/null @@ -1,17 +0,0 @@ -# do a rule for each file that says 'copy' to new direcory on change -sub do_copy_rule - { - local($to,$files,$p)=@_; - local($ret,$_,$n,$pp); - - $files =~ s/\//$o/g if $o ne '/'; - foreach (split(/\s+/,$files)) - { - $n=&bname($_); - if ($n =~ /bss_file/) - { $pp=".c"; } - else { $pp=$p; } - $ret.="$to${o}$n$pp: \$(SRC_D)$o$_$pp\n\t\$(CP) \$(SRC_D)$o$_$pp $to${o}$n$pp\n\n"; - } - return($ret); - } |