Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-05-24 12:47:11 -0700 (Thu, 24 May 2007)
Revision: 10812
Log message:

      Fixed the "close(): bad file descriptor" problem.
     
     The issue was that the Omake_shell_sys.set_close_on_exec was called,
     but Unix.close was used to close the descriptor.  Omake_shell_sys.close_fd
     should be used instead, to delete the descriptor from the fork table too.

Changes  Path
+8 -2 omake-branches/0.9.8.2/src/build/omake_build.ml