diff options
Diffstat (limited to 'util/pl/unix.pl')
| -rw-r--r-- | util/pl/unix.pl | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/util/pl/unix.pl b/util/pl/unix.pl index aa2d7d1f37..146611ad99 100644 --- a/util/pl/unix.pl +++ b/util/pl/unix.pl @@ -38,7 +38,7 @@ $ex_libs=""; # static library stuff $mklib='ar r'; $mlflags=''; -$ranlib='util/ranlib.sh'; +$ranlib=&which("ranlib") or $ranlib="true"; $plib='lib'; $libp=".a"; $shlibp=".a"; @@ -80,4 +80,17 @@ sub do_link_rule return($ret); } +sub which + { + my ($name)=@_; + my $path; + foreach $path (split /:/, $ENV{PATH}) + { + if (-x "$path/$name") + { + return "$path/$name"; + } + } + } + 1; |