#!/bin/sh
# a deinstallation script for linux_base

case "$2" in
DEINSTALL)
	if [ -n "`mount | grep ^linproc`" ] || \
		[ -d /compat/linux/proc ]; then
		echo ""
		echo "You may need to do by hands:"
		echo "  o  unmount linprocfs;"
		echo "  o  delete ${PKG_PREFIX}/proc;"
		echo "  o  remove the description of linprocfs from /etc/fstab."
		echo ""
	fi
	;;
esac

exit 0