> 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. ------------- Changes: - all: https://git.openjdk.org/jdk/pull/9965/files - new: https://git.openjdk.org/jdk/pull/9965/files/e140a4e2..e140a4e2 Webrevs: - full: https://webrevs.openjdk.org/?repo=jdk&pr=9965&range=01 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=9965&range=00-01 Stats: 0 lines in 0 files changed: 0 ins; 0 del; 0 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
