On Fri, 7 Feb 2025 08:13:50 GMT, Prasanta Sadhukhan <psadhuk...@openjdk.org> wrote:
>> The format is space delimited values, each value is a "key=value".
>> There is no difference between Linux and Mac and there are no changes in the
>> format of the options.
>
> If it's a space delimited values, then can't we use "options.trim().split("
> ")"
> same as what we have been using below?
Sure, done.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/23457#discussion_r1946135211
