Re: RFR: 8292716: Configure should check that jtreg is of the required version [v3]

2022-08-23 Thread Magnus Ihse Bursie
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.

Re: RFR: 8292716: Configure should check that jtreg is of the required version [v3]

2022-08-22 Thread Erik Joelsson
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.

Re: RFR: 8292716: Configure should check that jtreg is of the required version [v3]

2022-08-22 Thread Magnus Ihse Bursie
> 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/

Re: RFR: 8292716: Configure should check that jtreg is of the required version [v2]

2022-08-22 Thread Magnus Ihse Bursie
> 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/

RFR: 8292716: Configure should check that jtreg is of the required version

2022-08-22 Thread Magnus Ihse Bursie
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