On Mon, 22 Aug 2022 12:54:43 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. This pull request has now been integrated. Changeset: 486f90c1 Author: Magnus Ihse Bursie <i...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/486f90c134f3b8562221839f8a3aefa74ae0d070 Stats: 19 lines in 1 file changed: 19 ins; 0 del; 0 mod 8292716: Configure should check that jtreg is of the required version Reviewed-by: erikj ------------- PR: https://git.openjdk.org/jdk/pull/9965
