[m-dev.] diff: fix bug in c2init

[Simon TAYLOR]

Estimated hours taken: 0.25

scripts/c2init.in:
	Fix a bug in the handling of the `--aditi' option -- it was
	performing a shift even though `--aditi' does not take an
	argument.

Index: c2init.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/c2init.in,v
retrieving revision 1.27
diff -u -u -r1.27 c2init.in
--- c2init.in	2000/05/08 16:11:17	1.27
+++ c2init.in	2000/05/12 05:06:07
@@ -87,9 +87,9 @@
 while true; do
 	case "$1" in
 	-a|--aditi)
-		aditi_opt="-a"; shift;;	
+		aditi_opt="-a";;	
 	-a-|--no-aditi)
-		aditi_opt=""; shift;;	
+		aditi_opt="";;	
 	-c|--max-calls)
 		maxcalls="$2"; shift;;
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------