diff make/defs.make @ 830:00f7ec32f290

6854027: Precompiled headers are not being updated in Linux/GCC builds Summary: Fixes incorrect handling of precompiled headers in diff mode. Reviewed-by: never, twisti
author apetrusenko
date Fri, 26 Jun 2009 09:22:19 -0700
parents 9c2ecc2ffb12
children 354d3184f6b2 7fbf850d87b7
line wrap: on
line diff