RFR: 8317039 Enable specifying the JDK used to run jtreg [v3]

Tue Oct 3 13:10:33 UTC 2023

On Tue, 3 Oct 2023 08:58:25 GMT, Ludvig Janiuk <lujaniuk at 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