> 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

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/9965/files
  - new: https://git.openjdk.org/jdk/pull/9965/files/e140a4e2..bb11a9c8

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=9965&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=9965&range=01-02

  Stats: 272 lines in 25 files changed: 190 ins; 47 del; 35 mod
  Patch: https://git.openjdk.org/jdk/pull/9965.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/9965/head:pull/9965

PR: https://git.openjdk.org/jdk/pull/9965

Reply via email to