On Mon, 22 Aug 2022 14:11:32 GMT, Magnus Ihse Bursie wrote:
>> While reviewing the PR for
>> [JDK-8289798](https://bugs.openjdk.org/browse/JDK-8289798) (switching to
>> jtreg 7) I realized that it would be better if configure checked if the
>> provided jtreg is of the minimum required version.
On Mon, 22 Aug 2022 14:11:32 GMT, Magnus Ihse Bursie wrote:
>> While reviewing the PR for
>> [JDK-8289798](https://bugs.openjdk.org/browse/JDK-8289798) (switching to
>> jtreg 7) I realized that it would be better if configure checked if the
>> provided jtreg is of the minimum required version.
> While reviewing the PR for
> [JDK-8289798](https://bugs.openjdk.org/browse/JDK-8289798) (switching to
> jtreg 7) I realized that it would be better if configure checked if the
> provided jtreg is of the minimum required version.
>
> This PR is dependent on https://github.com/openjdk/jdk/pull/
> While reviewing the PR for
> [JDK-8289798](https://bugs.openjdk.org/browse/JDK-8289798) (switching to
> jtreg 7) I realized that it would be better if configure checked if the
> provided jtreg is of the minimum required version.
>
> This PR is dependent on https://github.com/openjdk/jdk/pull/
While reviewing the PR for
[JDK-8289798](https://bugs.openjdk.org/browse/JDK-8289798) (switching to jtreg
7) I realized that it would be better if configure checked if the provided
jtreg is of the minimum required version.
This PR is dependent on https://github.com/openjdk/jdk/pull/9964, so wha