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 |