b=`(cd $BASEDIR ; /bin/pwd)`
if [ "$b" != "/" ]; then
  /bin/rm -f "$BASEDIR"/etc
fi
