#
# Load the pti driver if desired.
#
rm -f /dev/pti.ID
if [ -f /dev/pti.LOAD ]; then
  if [ -f /dev/pti.AUTOLOAD ]; then
   csh /dev/pti.LOAD  # PTI_DRIVER_INSTALLED
  fi
fi
