On Fri, 4 Apr 2025 15:03:32 GMT, Jaikiran Pai <j...@openjdk.org> wrote:

>> Another possibility is to run in /othervm mode - then we don't care...
>
> Yes, I think othervm would be fine. In fact, I was adding a review comment in 
> another context, where I suspect we might be forced to use the othervm mode 
> anyway.

Switched to `othervm` in cc70d926dbc867ecf8f3390c76ccb02888c8e8d8.

> I was adding a review comment in another context, where I suspect we might be 
> forced to use the othervm mode anyway.

@jaikiran, curious, where is it?

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

PR Review Comment: https://git.openjdk.org/jdk/pull/24154#discussion_r2030635525

Reply via email to