Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-08-26 17:08:13 -0700 (Fri, 26 Aug 2005)
Revision: 1415
Log message:

      When evaluating a shell script, ExitException should cause osh to exit with
      the corresponding code, not print the exception and exit with code 2.
      

Changes	Path
+2 -0	omake/src/main/omake_shell.ml