#!/bin/sh

#
# preremove for random number generator
# created by Willi Burmeister <wib@cs.uni-kiel.de>
#
# HISTORY
#
# 21.05.2000  wib  created this file
# 20.06.2000  wib  rem_drv during jumpstart needs -b
# 18.10.2000  wib  'exit 0' if rem_drv couldnot unload driver
#

#
# PKG_INSTALL_ROOT is empty if we are NOT removing during jumpstart
#
if [ -z "${PKG_INSTALL_ROOT}" ]; then
  rem_drv random
else
  rem_drv -b ${PKG_INSTALL_ROOT} random
fi

if [ $? -ne 0 ]; then
  echo "Oops, error while trying to remove driver"
fi

exit 0

#
# end of file
#
