blob: 47794d11359ffb897850904a9ec0a07d239963f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/bin/sh
INSTALLPERMS=$1
DESTDIR=`echo $2 | sed 's/\/\//\//g'`
BASEDIR=`echo $3 | sed 's/\/\//\//g'`
LIBDIR=`echo $4 | sed 's/\/\//\//g'`
shift
shift
shift
shift
for d in $BASEDIR $LIBDIR; do
if [ ! -d $DESTDIR/$d ]; then
mkdir $DESTDIR/$d
if [ ! -d $DESTDIR/$d ]; then
echo Failed to make directory $DESTDIR/$d
exit 1
fi
fi
done
set -x
for p in $*; do
p2=`basename $p`
echo Installing $p as $DESTDIR/$LIBDIR/$p2
cp -f $p $DESTDIR/$LIBDIR/
chmod $INSTALLPERMS $DESTDIR/$LIBDIR/$p2
done
set +x
exit 0
|