Changeset 2900 for driver/cerco.ml

Timestamp:

Mar 19, 2013, 1:20:42 AM (8 years ago)

Author:

sacerdot

Message:

Flushing to understand where it is slow.

File:

• driver/cerco.ml (modified) (1 diff)

driver/cerco.ml

@@ -68 +68 @@
 in
 print_endline (ClightPrinter.print_program style labelled);
-print_newline ();
+print_newline (); flush stdout;
 print_endline (ASMPrinter.print_program (Extracted.ASM.oc (Extracted.Compiler.c_labelled_object_code output)));