Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-08 14:52:01 -0800 (Fri, 08 Dec 2006)
Revision: 9856
Log message:

      When the output is postponed, do not erase the progress bar when outputting to the diversion file, but do erase it before printing the diversion file in the end.

Changes  Path
+5 -4 omake-branches/0.9.8.x/src/build/omake_build.ml
+3 -2 omake-branches/0.9.8.x/src/build/omake_build_tee.ml
+2 -2 omake-branches/0.9.8.x/src/exec/omake_exec.ml
+6 -9 omake-branches/0.9.8.x/src/exec/omake_exec_print.ml
+1 -1 omake-branches/0.9.8.x/src/exec/omake_exec_print.mli