Martin,
Thanks for the investigation and the update. Sorry for the inconvenience.
-- Jon
On 2/10/18 8:20 AM, Martin Buchholz wrote:
OK, I get it now. jdk tip needs
http://hg.openjdk.java.net/jdk/jdk10/rev/107413b070b9 *in the
bootstrap* to bootstrap with jdk10, but that is coming out as part of
jdk-10+43, which hasn't been released yet. So this will fix itself
over time. I can confirm that jdk tip bootstraps with jdk 10 tip and
fails with jdk-10+42.
(It would be nice if it jdk bootstrap was less brittle)
On Sat, Feb 10, 2018 at 12:06 AM, Jan Lahoda <jan.lah...@oracle.com
<mailto:jan.lah...@oracle.com>> wrote:
Hi Martin,
Does your JDK 10 build have the following fix?
http://hg.openjdk.java.net/jdk/jdk10/rev/107413b070b9
<http://hg.openjdk.java.net/jdk/jdk10/rev/107413b070b9>
I tried and the build indeed fails when using JDK 10 without this
fix as a bootstrap, but does not (seem to) fail when using JDK 10
with this fix.
