Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-12 17:10:40 -0800 (Mon, 12 Dec 2005)
Revision: 8283
Log message:

      Do not try to optimize the memory usage by throwing away the builtin_info ---
      we might need it again if an OMakefile changes and the build is restarted.
      

Changes  Path
+1 -3 omake-branches/0.9.6.x/src/build/omake_builtin.ml