[cvs-nhc98] Re-jig option-processing in the driver script. We need to a

[Malcolm Wallace]

malcolm: Fri Jan  5 19:09:38 CET 2001

Update of /usr/src/master/nhc/script
In directory hinken:/tmp/cvs-serv4038

Modified Files:
	nhc98.inst 
Log Message:
Re-jig option-processing in the driver script.  We need to allow
options to be set per-file via OPTIONS pragmas, as well as globally
for all files via the commandline.