Project

General

Profile

Revision 61df3cb9 src/log.ml

View differences:

src/log.ml
9 9
(*                                                                  *)
10 10
(********************************************************************)
11 11

  
12
let report ~level:level p =
13
if !Options.verbose_level >= level then
12
let report ?(plugins="") ?(verbose_level=Options.verbose_level) ~level:level p =
13
  let plugins = if plugins = "" then plugins else plugins ^ " " in 
14
  if !verbose_level >= level then
14 15
  begin
15
    Format.eprintf "%t" p;
16
    Format.eprintf "%s%t" plugins p;
16 17
  (* Removed the flush since it was breaking most open/close boxes *)
17 18
  (* Format.pp_print_flush Format.err_formatter () *)
18 19
  end

Also available in: Unified diff