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

Reply via email to