On Mon, 16 Nov 2020 18:40:27 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
> Looks fine, but wouldn't you like to add `--disable-precompiled-headers` as > well? sure, make sense. ------------- PR: https://git.openjdk.java.net/jdk/pull/1233
On Mon, 16 Nov 2020 18:40:27 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
> Looks fine, but wouldn't you like to add `--disable-precompiled-headers` as > well? sure, make sense. ------------- PR: https://git.openjdk.java.net/jdk/pull/1233