Project

General

Profile

« Previous | Next » 

Revision 690196d8

Added by Xavier Thirioux about 9 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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@456 041b043f-8d7c-46b2-b46e-ef0dd855326e

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