RFR: 8349075: Once again allow -compilejdk in JAVA_OPTIONS

[Robbin Ehn]

On Wed, 2 Apr 2025 17:57:06 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> [JDK-8348905](https://bugs.openjdk.org/browse/JDK-8348905) added the possibility to set `JDK_FOR_COMPILE` on the command line to pass the `-compilejdk:` argument to jtreg. Unfortunately the way it did this meant that -compilejdk: were always passed, so trying to set it separately in JAVAOPTIONS failed due to a duplicate argument error.
> 
> This PR will instead only set  `-compilejdk:` if `JDK_FOR_COMPILE` is given on the command line.

Thanks ! Looks good!

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

Marked as reviewed by rehn (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/24386#pullrequestreview-2737212837