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

Reply via email to