On Tue, 29 Nov 2022 14:44:12 GMT, Christian Stein <cst...@openjdk.org> wrote:
> Please review the change to update to using jtreg `7.1`. > > The primary change is to the `jib-profiles.js` file, which specifies the > version of jtreg to use, for those systems that rely on this file. In > addition, the requiredVersion has been updated in the various `TEST.ROOT` > files. > > This pull request was created by copying the following and using `7.1` at > appropriate places: > - https://github.com/openjdk/jdk/pull/9393 This pull request has now been integrated. Changeset: c70d1e1b Author: Christian Stein <cst...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/c70d1e1bd32c71e0d2df635bc565201a09084a83 Stats: 9 lines in 8 files changed: 0 ins; 0 del; 9 mod 8296710: Update to use jtreg 7.1 Reviewed-by: erikj, alanb, jjg ------------- PR: https://git.openjdk.org/jdk/pull/11416