Project

General

Profile

« Previous | Next » 

Revision e275249d

Added by Xavier Thirioux over 8 years ago

- corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
- added a flush in Log to help find out the exact phase when the compiler crashes or stops silently

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