For review: changes to grade handling

[Thomas Charles CONWAY]

Fergus or Tyson will want to review this.

-- 
Thomas Conway <conway at cs.mu.oz.au>
Nail here [] for new monitor.  )O+


sripts/parse_grade_options.sh-subr:
	When parsing a --grade option, set all the grade options to the
	appropriate `off' value. As a result the last --grade option overides
	all earlier ones.

cvs diff: Diffing .
Index: parse_grade_options.sh-subr
===================================================================
RCS file: /home/staff/zs/imp/mercury/scripts/parse_grade_options.sh-subr,v
retrieving revision 1.7
diff -u -r1.7 parse_grade_options.sh-subr
--- parse_grade_options.sh-subr	1998/09/14 10:40:47	1.7
+++ parse_grade_options.sh-subr	1998/09/22 05:11:01
@@ -125,7 +125,20 @@
 		#	compiler/handle_options.m
 		#	scripts/ml.in
 
+	    asm_labels=false
+	    non_local_gotos=false
+	    global_regs=false
 	    gc_method=none
+	    profile_time=false
+	    profile_calls=false
+	    profile_memory=false
+	    use_trail=false
+	    args_method=compact
+	    stack_trace=false
+	    require_tracing=false
+	    low_level_debug=false
+	    thread_safe=false
+
 	    grade_pieces=`echo $grade | tr '.' ' '`
 	    for grade_piece in $grade_pieces
 	    do