Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-03 17:34:30 -0700 (Sun, 03 Aug 2003)
Revision: 135
Log message:

      Added a function to set options from the OMakefile.
      

Changes	Path
+24 -1	omake-branches/piped_exec_policy/src/build/omake_builtin.ml
+1 -2	omake-branches/piped_exec_policy/src/exec/omake_exec.ml
+24 -24	omake-branches/piped_exec_policy/src/exec/omake_exec_local.ml
+41 -0	omake-branches/piped_exec_policy/src/ir/omake_state.ml
+1 -37	omake-branches/piped_exec_policy/src/main/omake_main.ml