From 2d7b903fc2132621c2ce61edf5d35caf7b3b1f95 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 6 Feb 2006 17:19:52 +0000 Subject: [PATCH] use matita.verbosity instead of matita.quiet --- matita/matitacLib.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml index ee09258e0..1297a4747 100644 --- a/matita/matitacLib.ml +++ b/matita/matitacLib.ml @@ -48,7 +48,7 @@ let run_script is eval_function = in let slash_n_RE = Pcre.regexp "\\n" in let cb = - if Helm_registry.get_bool "matita.quiet" then + if Helm_registry.get_int "matita.verbosity" < 1 then (fun _ _ -> ()) else (fun grafite_status stm -> @@ -171,12 +171,12 @@ let main ~mode = | `Debug | `Message -> () | `Warning | `Error -> origcb tag s in - if Helm_registry.get_bool "matita.quiet" then + if Helm_registry.get_int "matita.verbosity" < 1 then HLog.set_log_callback newcb; let matita_debug = Helm_registry.get_bool "matita.debug" in try let time = Unix.time () in - if Helm_registry.get_bool "matita.quiet" then + if Helm_registry.get_int "matita.verbosity" < 1 then origcb `Message ("compiling " ^ Filename.basename fname ^ "...") else HLog.message (sprintf "execution of %s started:" fname); -- 2.39.2