#!/bin/sh

#
# postremove for random number generator
# created by Willi Burmeister <wib@cs.uni-kiel.de>
#
# HISTORY
#
# 23.05.2000  wib  created this file
# 30.05.2000  wib  removed /dev/{u}random0 lines
#

#
# PKG_INSTALL_ROOT is set if removing during jumpstart
#

# we need to remove links from /dev

rm -f ${PKG_INSTALL_ROOT}/dev/random
rm -f ${PKG_INSTALL_ROOT}/dev/urandom

#
# end of file
#
