On Tue, 3 Oct 2023 08:58:25 GMT, Ludvig Janiuk <lujan...@openjdk.org> wrote:
>> This pull request introduces changes in the build makefiles necessary to >> enable the user to specify a jdk to use when launching jtreg. It introduces >> a new configure flag, `--with-jtreg-jdk`, which takes a JDK path similar to >> the already existing `--with-boot-jdk`. >> >> Before this pull request, boot-jdk was always used to launch jtreg. This >> pull request decouples the two, but still defaults to boot-jdk if no value >> is specified. > > Ludvig Janiuk has updated the pull request incrementally with one additional > commit since the last revision: > > JTREG_TOOL_ -> JTREG_ Marked as reviewed by erikj (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16010#pullrequestreview-1655170796