#!/bin/sh
#
# SCCS ID "@(#)preremove	1.4 -- MODIFIED 12 Sep 1994 16:49:31"
#
# ident "@(#)preremove	1.2 -- MODIFIED 1/27/94 16:54:57"

#
# Remove the PCMCIA WaveLan driver
#
echo "Removing the PCMCIA WaveLAN driver..."
#
ifconfig wl0 unplumb > /dev/null 2>&1
ifconfig wl1 unplumb > /dev/null 2>&1
#
rem_drv wavelan
grep wavelan /etc/devlink.tab > /dev/null
if [ $? = 0 ]; then
	grep -v wavelan /etc/devlink.tab > /tmp/$$
	mv /tmp/$$ /etc/devlink.tab
	rm -f /dev/wl
	rm -f /devices/pseudo/clone@*:wl
	grep -v wavelan /etc/name_to_major > /tmp/$$
	mv /tmp/$$ /etc/name_to_major
	rm -f /etc/wlhostname.*
fi
