#!/bin/sh

#
# postinstall for random number generator
# created by Willi Burmeister <wib@cs.uni-kiel.de>
#
# HISTORY
#
# 21.05.2000  wib  created this file
# 23.05.2000  wib  added start of random start script
# 20.06.2000  wib  add_drv during jumpstart needs -b
#

#
# PKG_INSTALL_ROOT is empty if we are NOT installing during jumpstart
#
if [ -z "${PKG_INSTALL_ROOT}" ]; then
  add_drv -m '* 0644 root sys' random

  /etc/init.d/random start
else
  add_drv -b ${PKG_INSTALL_ROOT} -m '* 0644 root sys' random
fi

#
# end of file
#
