Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-12 18:55:51 -0800 (Mon, 12 Dec 2005)
Revision: 8287
Log message:

      Issue 491: do not cache .PHONY nodes in .omakedb.
      

Changes  Path
+26 -12 omake-branches/0.9.6.x/src/ir/omake_node.ml
+0 -2 omake-branches/0.9.6.x/src/magic/OMakefile