Don't we also need to modify jprt properties?
David
On 3/04/2014 8:12 PM, Chris Hegarty wrote:
FYI.
This is already reviewed ;-)
http://mail.openjdk.java.net/pipermail/build-dev/2013-December/011406.html
-Chris.
On 3 Apr 2014, at 11:04, Alan Bateman <alan.bate...@oracle.com> wrote:
On 03/04/2014 09:53, Erik Joelsson wrote:
I don't see any reason not to make the switch. I filed this bug back in
December:
https://bugs.openjdk.java.net/browse/JDK-8030794
Thanks, I can't think of any reason either.
So how do we make this happen? Would a mail to jdk9-dev be sufficient to alert
folks about this change? Maybe the error from configure when there isn't a JDK
8 available is sufficient?
-Alan
