On Mon, 22 Aug 2022 14:11:32 GMT, Magnus Ihse Bursie <i...@openjdk.org> 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. >> >> This PR is dependent on https://github.com/openjdk/jdk/pull/9964, so what >> you see here is a diff relative to that PR, and it can't be merged until >> that PR has been merged. > > Magnus Ihse Bursie has updated the pull request with a new target base due to > a merge or a rebase. The incremental webrev excludes the unrelated changes > brought in by the merge/rebase. The pull request contains three additional > commits since the last revision: > > - Merge branch 'master' of https://git.openjdk.org/jdk into > jtreg-version-check > - 8292716: Configure should check that jtreg is of the required version > - 8292717: Clean up checking of testing requirements in configure I coordinated with @sormuras so I push this first, and he update the minimum version in configure as part of https://github.com/openjdk/jdk/pull/9393. ------------- PR: https://git.openjdk.org/jdk/pull/9965
