diff options
Diffstat (limited to 'util/ranlib.sh')
-rwxr-xr-x | util/ranlib.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/util/ranlib.sh b/util/ranlib.sh new file mode 100755 index 0000000000..543f712c6b --- /dev/null +++ b/util/ranlib.sh @@ -0,0 +1,23 @@ +#!/bin/sh + +cwd=`pwd` +cd /tmp + +if [ -s /bin/ranlib ] ; then + RL=/bin/ranlib +else if [ -s /usr/bin/ranlib ] ; then + RL=/usr/bin/ranlib +fi +fi + +if [ "x$RL" != "x" ] +then + case "$1" in + /*) + $RL "$1" + ;; + *) + $RL "$cwd/$1" + ;; + esac +fi |