[m-dev.] Re: trivial diff: fix cut-and-paste bug in init_grade_options.sh-subr

[Fergus Henderson]

On 11-Feb-2001, Fergus Henderson <fjh at cs.mu.oz.au> wrote:
> 
> scripts/init_grade_options.sh-subr:
> 	Fix a cut-and-paste error: change the second "0)" case to "*)".
> 	This broke the default grade setting.

And another one...
Both of these changes are for both the main and release branches.

----------

Estimated hours taken: 0.25

scripts/parse_grade_options.sh-subr:
	Fix another cut-and-paste error: change the second "case 0)" to
	"case *)".

Workspace: /mnt/roy/fjh/traveller/mercury
Index: scripts/parse_grade_options.sh-subr
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/parse_grade_options.sh-subr,v
retrieving revision 1.19
diff -u -d -r1.19 parse_grade_options.sh-subr
--- scripts/parse_grade_options.sh-subr	2001/01/29 01:55:08	1.19
+++ scripts/parse_grade_options.sh-subr	2001/02/11 14:15:26
@@ -397,7 +397,7 @@
 		# just insert it as `--grade $grade' and then reparse it
 		case $# in
 			0) set - "x --grade $grade" ;;
-			0) set - "x --grade $grade" "$@" ;;
+			*) set - "x --grade $grade" "$@" ;;
 		esac
 		;;
 
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------