Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-12-10 15:35:21 -0800 (Wed, 10 Dec 2003)
Revision: 312
Log message:

      Added -w option to print make-style Entering/leaving directory messages.
      This addresses bug #134.
      

Changes	Path
+5 -1	omake/src/build/omake_build.ml
+31 -4	omake/src/exec/omake_exec_print.ml
+5 -0	omake/src/exec/omake_exec_print.mli
+1 -0	omake/src/ir/omake_options_type.ml
+4 -0	omake/src/ir/omake_state.ml