Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-30 12:32:26 -0700 (Wed, 30 Jul 2003)
Revision: 125
Log message:

      Print status lines.  I'll augment this to add new status options,
      in line with what Aleksey wants.
      

Changes	Path
+38 -17	omake-branches/piped_exec_policy/src/exec/omake_exec.ml
+1 -0	omake-branches/piped_exec_policy/src/exec/omake_exec.mli
+2 -2	omake-branches/piped_exec_policy/src/exec/omake_exec_util.ml
+0 -1	omake-branches/piped_exec_policy/src/exec/omake_exec_util.mli
+2 -0	omake-branches/piped_exec_policy/src/main/omake_main.ml