On Fri, 13 Jan 2023 15:42:36 GMT, Magnus Ihse Bursie 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.
>
> We should have a `--with-build-env=ci/dev` argument that lets you c
On Tue, 17 Jan 2023 04:13:22 GMT, David Holmes 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.
>>
>> We should have a `--with-build-env=ci/dev` argument that lets you ch
On Fri, 13 Jan 2023 15:42:36 GMT, Magnus Ihse Bursie 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 ther
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.
We should have a `--with-build-env=ci/dev` argument that lets you chose such
build environment. Furthermore, configure should look for the