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

Reply via email to