On Mon, 16 Nov 2020 18:26:18 GMT, Igor Ignatyev <iignat...@openjdk.org> wrote:
> Hi all, > > Could you please review this small and trivial patch which adds > `linux-x64-optimized` build to submit workflow so breakages of this build > flavor would be easier to spot? > > Thanks, > -- Igor Looks fine, but wouldn't you like to add `--disable-precompiled-headers` as well? ------------- Marked as reviewed by shade (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/1233