#!/bin/csh -f
# this script runs BOOTP (must be SuperUser) with 5 deep DEBUG
# with given file as input
# 7/25/91 Crm, mod to have all output piped into /tmp/bootpd.$$
# this will avoid spurious output to other people's terminals
#
if ( $1 == "" ) then
	echo Need BOOTP configuration file as argument.
	exit 1
endif
#echo All output going to /tmp/bootpd.$$
#/home/hdssun1/hdssrc/tools/bootp/bootpd -s -d -d -d -d -d $1 >& /tmp/bootpd.$$
/home/HDS/bootp/bootpd -s -d -d -d -d -d $1
