Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-16 06:10:11 -0700 (Fri, 16 Sep 2005)
Revision: 2027
Log message:

      In Omake_env.venv_add_senv 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.
      
      This commit is similar in spirit to the 0.9.6.x rev 2026 commit, but not
      quite...
      

Changes	Path
+9 -2	omake-branches/omake_0_9_7_pre7/src/env/omake_env.ml