version 1.13, 2001/10/31 13:12:35 |
version 1.14, 2001/10/31 18:23:55 |
|
|
|
|
# Remove the target directories. |
# Remove the target directories. |
if $do_removedirs; then |
if $do_removedirs; then |
|
dir1=`cd $DESTDIR;pwd` |
|
dir2=`cd $TOOLDIR;pwd` |
|
if [ "$dir1" = "/" ] || [ "$dir2" = "/" ]; then |
|
echo "Will not remove /, please check DESTDIR and TOOLDIR settings" |
|
echo |
|
echo "DESTDIR: $DESTDIR" |
|
echo "TOOLDIR: $TOOLDIR" |
|
exit 1 |
|
fi |
echo "Removing DESTDIR and TOOLDIR...." |
echo "Removing DESTDIR and TOOLDIR...." |
$runcmd rm -rf $DESTDIR $TOOLDIR |
$runcmd rm -rf $DESTDIR $TOOLDIR |
fi |
fi |