From 856e5f3c83f64624bbab6599f149fb73793fa80a Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Wed, 20 Jan 2010 09:34:06 +0100
Subject: [PATCH] Dump GC stat in verbosity level higher than 2
---
src/main.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main.ml b/src/main.ml
index 26cd578b..0be634e6 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 11/03/2009 (at 16:17) by Erwan Jahier> *)
+(** Time-stamp: <modified the 19/01/2010 (at 15:49) by Erwan Jahier> *)
(** Here follows a description of the different modules used by this lus2lic compiler.
@@ -303,6 +303,7 @@ let my_exit i =
let main = (
(* Compile.init_appli () ; *)
parse_args ();
+ if Verbose.get_level() > 2 then Gc.set { (Gc.get ()) with Gc.verbose = 0x01 };
if !Global.run_unit_test then (
UnifyType.unit_test ();
exit 0
@@ -321,6 +322,7 @@ let main = (
dump_entete !Global.oc;
Compile.doit nsl main_node;
LicDump.dump_type_alias !Global.oc;
+ if Verbose.get_level() > 2 then Gc.print_stat stdout;
close_out !Global.oc
) with
Sys_error(s) ->
--
GitLab