[m-rev.] trivial diff: fix option typos

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

compiler/make.module_target.m:
	s/--errorcheck_only/--errorcheck-only/

compiler/options.m:
	s/--very_verbose/--very-verbose/

Index: make.module_target.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/make.module_target.m,v
retrieving revision 1.8
diff -u -u -r1.8 make.module_target.m
--- make.module_target.m	21 Jun 2002 16:52:46 -0000	1.8
+++ make.module_target.m	2 Jul 2002 06:12:35 -0000
@@ -416,7 +416,7 @@
 
 compilation_task(_, source) = _ :- error("compilation_task").
 compilation_task(_, errors) =
-		process_module(errorcheck) - ["--errorcheck_only"].
+		process_module(errorcheck) - ["--errorcheck-only"].
 compilation_task(_, unqualified_short_interface) =
 		process_module(make_short_interface) -
 				["--make-short-interface"].
Index: options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.375
diff -u -u -r1.375 options.m
--- options.m	13 Jun 2002 08:51:16 -0000	1.375
+++ options.m	2 Jul 2002 06:15:57 -0000
@@ -2147,7 +2147,7 @@
 	write_tabbed_lines([
 		"-v, --verbose",
 		"\tOutput progress messages at each stage in the compilation.",
-		"-V, --very_verbose",
+		"-V, --very-verbose",
 		"\tOutput very verbose progress messages.",
 		"-E, --verbose-error-messages",
 		"\tExplain error messages.  Asks the compiler to give you a more",
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------