On Tue, 1 Sep 2026 18:18:35 GMT, Phil Race <[email protected]> wrote: >> OS_WINSERVER_2008R2_OR_2012 might not be ideal because the check covers too >> Windows Server 2012 R2 (Version 6.3). >> Maybe use OS_WINSERVER_2008R2_2012_OR_2012R2 ? > > getting a bit long but if that's what we need, OK
I introduced OS_WINSERVER_2008R2_2012_OR_2012R2 (quite long but more precise). ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/32011#discussion_r4185147411
