On Mon, 16 Nov 2020 18:40:27 GMT, Aleksey Shipilev <shade at 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