Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-06-20 16:07:36 -0700 (Tue, 20 Jun 2006)
Revision: 9353
Log message:

      Following Aleksey's suggestion, added the --divert-discard-success option.
      
      Also added the -o option so you can specify output control in short form.
      See the manual for more info.
      
         # Be very, very, quiet
         % omake -o 0