Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-21 16:58:38 -0700 (Tue, 21 Oct 2003)
Revision: 231
Log message:

      Adding a time measurement to the "omake: done" message
      

Changes  Path
+3 -0 omake/OMakefile.in
+2 -1 omake/src/build/omake_build.ml