[Omake] SVN Commit: OMake Build System [0.9.8.x] (Rev. 11189)

[Aleksey Nogin]

Added Omake_util.pp_time that would print the time as
"%0.2f sec", or
"%d min %05.2f sec", or
"%d hrs %02d min %05.2f sec"
depending on how big it is. This follows Sam's (sds at gnu.org) suggestion
from bug #680.

----
Changes:
    +5 -4	omake-branches/0.9.8.x/src/build/omake_build.ml
    +2 -1	omake-branches/0.9.8.x/src/exec/omake_exec_print.ml
    +5 -3	omake-branches/0.9.8.x/src/exec/omake_exec_remote.ml
    +19 -7	omake-branches/0.9.8.x/src/util/omake_util.ml
    +7 -7	omake-branches/0.9.8.x/src/util/omake_util.mli
 
A hyperlinked version of this commit is available at
http://svn.metaprl.org/commitlogs/omake/2007-07.html#07/07/02.12:12:29