Project

General

Profile

« Previous | Next » 

Revision d50b0dc0

Added by Teme Kahsai almost 9 years ago

sync

View differences:

src/log.ml
11 11 

  		




  12
  12
  
    
let report ~level:level p =


  		




  13
  13
  
    
if !Options.verbose_level >= level then


  		




  14
  
  
    
  Format.eprintf "%t" p


  		




  
  14
  
    
  begin


  		




  
  15
  
    
    Format.eprintf "%t" p;


  		




  
  16
  
    
    Format.pp_print_flush Format.err_formatter ()


  		




  
  17
  
    
  end


  		




  15
  18
  
    

  		




  16
  19
  
    
(* Local Variables: *)


  		




  17
  20
  
    
(* compile-command:"make -C .." *)


  		












Also available in:  Unified diff