Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-05 15:13:35 -0800 (Tue, 05 Dec 2006)
Revision: 9813
Log message:

      - Fix different weirdness in --output-* diversions by making sure
      things are properly flushed on time.
      
      - More consistently redirect the "+/- ..." banner lines to tees when
        appropriate.
      
      This fixes issues 1-3 raised in bug 611.
      

Changes  Path
+3 -2 omake-branches/0.9.8.x/src/build/omake_build.ml
+2 -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
+7 -33 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
+1 -1 omake-branches/0.9.8.x/src/exec/omake_exec_type.ml
+7 -1 omake-branches/0.9.8.x/src/exec/omake_exec_util.ml
+1 -5 omake-branches/0.9.8.x/src/exec/omake_exec_util.mli