[m-rev.] for review: add --force-disable-trace compiler option

Ian MacLarty maclarty at cs.mu.OZ.AU
Wed Jun 15 17:44:54 AEST 2005


On Wed, 15 Jun 2005, Julien Fischer wrote:

> That's fine except that you haven't provided any documentation for
> the new option; if it's a developer-only option you should still
> document it but leave it commented out (in mmc --help and the user's
> guide.)
>

@@ -2955,6 +2964,11 @@
 		"\tfor details.",
 %		"--suppress-trace <suppress-items>,",
 %		"\tSuppress the named aspects of the execution tracing system.",
+% 		"--force-disable-trace",
+% 		"\tForce tracing to be set to trace level none.",
+% 		"\tThis overrides all other tracing/grade options.",
+% 		"\tIt's main use is to turn off tracing in the browser",
+% 		"\tdirectory, even for .debug and .decldebug grades.",
 		"--trace-optimized",
 		"\tDo not disable optimizations that can change the trace.",
 % I/O tabling is deliberately not documented. It is mean to be switched on,
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.437
diff -u -r1.437 user_guide.texi
--- doc/user_guide.texi	20 May 2005 05:40:18 -0000	1.437
+++ doc/user_guide.texi	15 Jun 2005 07:34:31 -0000
@@ -5482,6 +5482,13 @@
 @findex --trace-optimized
 Do not disable optimizations that can change the trace.

+ at c @item --force-disable-trace
+ at c findex --force-disable-trace
+ at c Force tracing to be set to trace level none.
+ at c This overrides all other tracing/grade options.
+ at c It's main use is to turn off tracing in the browser directory
+ at c even for .debug and .decldebug grades.
+
 @item --no-delay-death
 @findex --no-delay-death
 @findex --delay-death

Ian.

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



More information about the reviews mailing list