Changeset 2900


Ignore:
Timestamp:
Mar 19, 2013, 1:20:42 AM (4 years ago)
Author:
sacerdot
Message:

Flushing to understand where it is slow.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/cerco.ml

    r2875 r2900  
    6868in
    6969print_endline (ClightPrinter.print_program style labelled);
    70 print_newline ();
     70print_newline (); flush stdout;
    7171print_endline (ASMPrinter.print_program (Extracted.ASM.oc (Extracted.Compiler.c_labelled_object_code output)));
Note: See TracChangeset for help on using the changeset viewer.