[m-dev.] for review: new debugger command set (part 1 of 4)

[Fergus Henderson]

> *** FACTOR OUT SHELL CODE HANDLING GRADE IMPLICATIONS ***
> 
> scripts/final_grade_options.sh-subr:
> 	A new file to contain any code that implements implications between
> 	grade flags; currently implements the implication debug -> use trail.
> 
> scripts/mgnuc.in:
> scripts/ml.in:
> 	Replace the code that is now in final_grade_options.sh-subr with
> 	an inclusion of final_grade_options.sh-subr.
> 
> configure.in:
> 	Handle final_grade_options.sh-subr as {init,parse}_grade_options.sh-subr
> 	are handled.

That one looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.