On Fri, 13 Jan 2023 15:42:36 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> There are several configure settings that should have different default > values depending on if configure is run as part of a CI build, or a local > developer. This change only seems to deal with the jtreg failure handler, are there more settings to come? ------------- PR: https://git.openjdk.org/jdk/pull/11991
