trivial diff: scripts/parse_grade_options.sh-subr bug fix

[Fergus Henderson]

A bug fix from Warwick Harvey.

scripts/parse_grade_options.sh-subr:
	If a grade is specified, the GC method should default
	to `none' rather than `conservative'.

Index: scripts/parse_grade_options.sh-subr
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/parse_grade_options.sh-subr,v
retrieving revision 1.6
diff -u -r1.6 parse_grade_options.sh-subr
--- parse_grade_options.sh-subr	1998/07/27 01:05:20	1.6
+++ parse_grade_options.sh-subr	1998/09/14 10:36:08
@@ -125,6 +125,7 @@
 		#	compiler/handle_options.m
 		#	scripts/ml.in
 
+	    gc_method=none
 	    grade_pieces=`echo $grade | tr '.' ' '`
 	    for grade_piece in $grade_pieces
 	    do

-- 
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.