Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-13 13:19:36 -0700 (Fri, 13 May 2005)
Revision: 1015
Log message:

      Added a --config option to consider cached .om* files as out-of-date.
      

Changes	Path
+32 -20	omake/Makefile.dep.nt
+1 -1	omake/OMakeroot.src.in
+5 -2	omake/src/build/omake_build.ml
+8 -0	omake/src/eval/omake_eval.ml
+2 -1	omake/src/ir/omake_options_type.ml
+6 -3	omake/src/ir/omake_state.ml