Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-15 12:33:48 -0700 (Wed, 15 Oct 2003)
Revision: 205
Log message:
This addresses part of bug #84, OMAKEFLAGS takes precedences over command
line options.
Changes | Path |
+2 -1 | omake/src/main/omake_main.ml |