Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-16 05:36:54 -0700 (Fri, 16 Sep 2005)
Revision: 2026
Log message:

      In Omake_env.venv_export_venv preserve pointer equality when nothing changes.
      This helps avoid giving bogus "These file are targeted separately, but appear
      as effects of a single rule." warnings (such as in the example found by
      Florian Hars).
      

Changes	Path
+8 -1	omake-branches/0.9.6.x/src/env/omake_env.ml