On 2014-03-18 18:26, Volker Simonis wrote:
Done. Please see the new webrev at:
http://cr.openjdk.java.net/~simonis/webrevs/8037298_3/
Looks good to me.
Thanks. Could you please push this change for me because it requires
the regeneration of generated-configure.sh and potentially also the
regeneration of closed configure files which I can't do.
I can do that. I'm pushing it to jdk9-dev, since it only affects the
top-level build, so it is unrelated to hotspot (even though it is only
needed for building hotspot).
/Magnus
