Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2006-12-08 11:50:56 -0800 (Fri, 08 Dec 2006)
Revision: 9854
Log message:

      Slightly better interaction between the "saved .omakedb message" and the
      progress bar.
      

Changes  Path
+8 -9 omake-branches/0.9.8.x/src/build/omake_build.ml
+6 -8 omake-branches/0.9.8.x/src/exec/omake_exec_print.ml