On Wed, 18 Nov 2020 14:13:03 GMT, Bernhard Urban-Forster <bur...@openjdk.org> wrote:
>> Marked as reviewed by erikj (Reviewer). > > Thank you Magnus, this is something that has bugged me as well. > > FWIW the same problem exists here with the build JDK detection: > https://github.com/openjdk/jdk/blob/9d5fd4fcabf7bdf580e2fff8e12c2cf130ef44c9/make/autoconf/boot-jdk.m4#L519 > > Would you mind fixing it as part of this PR too? @lewurm Thanks! I had not noticed that one. (In fact, I'm unsure when we got such a huge chunk of duplicated code... *sigh* Should look into it some day, I think.) ------------- PR: https://git.openjdk.java.net/jdk/pull/1285