#!/bin/sh
#
# /etc/rc.d/rc.local:  Local system initialization script.
#
# Put any local setup commands in here:

# Gain 20 MB in RAM...
#
umount /initrd

# To avoid having kernel complain about no /lib/modules/etc.
# We don't compile any module anyway.
#
if [ ! -e /lib/modules ]; then
  mkdir /lib/modules
fi
if [ ! -e /lib/modules/`uname -r` ]; then
  mkdir /lib/modules/`uname -r`
fi
if [ ! -e /lib/modules/`uname -r`/modules.dep ]; then
  touch /lib/modules/`uname -r`/modules.dep
fi

# Launch PING
#
/opt/PING/rc.ping