Review Request: 8001941: build-infra: --disable-precompiled-headers does not seem to work

[Kelly O'Hair]

Looks ok to me. 

-kto

On Nov 14, 2012, at 5:21 AM, Erik Joelsson wrote:

> This is a fix for configure parameter --disable-precompiled-headers. It has now been verified to work.
> 
> http://cr.openjdk.java.net/~erikj/8001941/webrev.root.01/ <http://cr.openjdk.java.net/%7Eerikj/8001941/webrev.root.01/>
> 
> Remember to regenerate configure after applying the patch and to also submit in jdk/make/closed.
> 
> /Erik