4 DESTDIR
=`echo $2 | sed 's/\/\//\//g'`
9 DIRNAME
=`echo $dir | sed 's/\/\//\//g'`
10 if [ ! -d $DESTDIR/$DIRNAME ]; then
11 mkdir
-m $INSTALLPERMS -p $DESTDIR/$DIRNAME
14 if [ ! -d $DESTDIR/$DIRNAME ]; then
15 echo "Failed to make directory $DESTDIR/$DIRNAME "