Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-27 08:59:58 -0700 (Sun, 27 Jul 2003)
Revision: 119
Log message:

      Starting a new execution method using pipes to filter the
      output from jobs.  This can be used to implement the "quiet
      build" that Aleksey was requesting, and also provides a starting
      point for distributed builds.
      
      One thing to note: normal make allows for interactive jobs.
      The main difference here is that job output is not to a terminal.
      

Changes  Path
+0 -16 omake-branches/piped_exec_policy/OMakefile.in
Deleted omake-branches/piped_exec_policy/omake_exec_unix.ml
Deleted omake-branches/piped_exec_policy/omake_exec_win32.ml
+32 -37 omake-branches/piped_exec_policy/src/build/omake_build.ml
+4 -3 omake-branches/piped_exec_policy/src/build/omake_build_type.ml
Added omake-branches/piped_exec_policy/src/exec/omake_exec.ml
Properties omake-branches/piped_exec_policy/src/exec/omake_exec.ml
+1 -27 omake-branches/piped_exec_policy/src/exec/omake_exec.mli
+50 -4 omake-branches/piped_exec_policy/src/exec/omake_exec_type.ml
+48 -0 omake-branches/piped_exec_policy/src/exec/omake_exec_util.ml
+9 -0 omake-branches/piped_exec_policy/src/exec/omake_exec_util.mli