# This is an ide startup file.
#

$PROGRAM_NAME=$0

echo "Loading ip32mfg.script . . ."
source -f bootp()ip32mfg.script
