diff options
Diffstat (limited to 'source4/script/installlib.sh')
| -rwxr-xr-x | source4/script/installlib.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source4/script/installlib.sh b/source4/script/installlib.sh index 4e3d5f62c7..962c9562b1 100755 --- a/source4/script/installlib.sh +++ b/source4/script/installlib.sh @@ -1,17 +1,21 @@ #!/bin/sh LIBDIR=$1 +SHLIBEXT=$2 shift +shift for p in $*; do p2=`basename $p` + lnname=`echo $p2 | sed -e "s/\.$SHLIBEXT.*/.$SHLIBEXT/"` echo Installing $p as $LIBDIR/$p2 if [ -f $LIBDIR/$p2 ]; then rm -f $LIBDIR/$p2.old mv $LIBDIR/$p2 $LIBDIR/$p2.old fi cp $p $LIBDIR/ + ln -sf $p2 $LIBDIR/$lnname done cat << EOF |