Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-03 15:21:14 -0700 (Sun, 03 Aug 2003)
Revision: 134
Log message:

      Changed options.
      
      Use "omake -S --progress" to print the progress bar and keep everything
      else as quiet as possible.
      

Changes	Path
+9 -3	omake-branches/piped_exec_policy/src/main/omake_main.ml