RFR: 8300120: Configure should support different defaults for CI/dev build environments

[David Holmes]

On Fri, 13 Jan 2023 15:42:36 GMT, Magnus Ihse Bursie <ihse at 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