Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-11 11:35:48 -0800 (Tue, 11 Nov 2003)
Revision: 262
Log message:

      Print stats on Ctrl-C (Jason, is this change reasonable?)
      

Changes	Path
+25 -20	omake/src/build/omake_build.ml
+1 -0	omake/src/ir/omake_state.ml
+1 -0	omake/src/ir/omake_state.mli