[MLton-commit] r4089

Stephen Weeks MLton@mlton.org
Sun, 11 Sep 2005 09:58:46 -0700


Enabled GC rusage measurement when verbosity isn't silent.


----------------------------------------------------------------------

U   mlton/trunk/mlton/main/main.fun

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun	2005-09-11 16:58:07 UTC (rev 4088)
+++ mlton/trunk/mlton/main/main.fun	2005-09-11 16:58:45 UTC (rev 4089)
@@ -478,7 +478,7 @@
                           "0" => Silent
                         | "1" => Top
                         | "2" => Pass
-                        | "3" =>  Detail
+                        | "3" => Detail
                         | _ => usage (concat ["invalid -verbose arg: ", s])))),
        (Expert, "warn-ann", " {true|false}",
         "unrecognized annotation warnings",
@@ -517,6 +517,7 @@
           | _ => Error.bug "incorrect args from shell script"
       val _ = setTargetType ("self", usage)
       val result = parse args
+      val () = MLton.GC.setRusage (!verbosity <> Silent)
       val () =
          if !showAnns then
             (Layout.outputl (Control.Elaborate.document {expert = !expert},