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
