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 |