#ident "%W% %G%"

DFILE=$BASEDIR/etc/devlink.tab
TFILE=$BASEDIR/etc/devlink.tab.tmp

#
# Edit $BASEDIR/etc/devlink.tab file.
#
/usr/bin/mv ${DFILE} ${TFILE} 
/usr/bin/sed -e '/PFUaga/d' ${TFILE} >> ${DFILE} 
/usr/bin/rm ${TFILE}		> /dev/null 2>&1

/usr/sbin/rem_drv PFUaga	> /dev/null 2>&1

exit 0
