Mercurial > hg > graal-compiler
diff make/jprt.properties @ 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 | 44ccd7a9065c |
children | bd02caa94611 |