On Wed, 8 Mar 2023 19:15:16 GMT, Roger Riggs <rri...@openjdk.org> wrote:
> Improvements to support OS specific customization for JDK internal use: > - To select values and code; allowing elimination of unused code and values > - Optionally evaluated by build processes, compilation, or archiving (i.e. > CDS) > - Simple API to replace adhoc comparisons with `os.name` > - Clear and consistent use across build, runtime, and JDK modules > > The PR includes updates within java.base to use the new API. This pull request has now been integrated. Changeset: 6c3b10fb Author: Roger Riggs <rri...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/6c3b10fb1d95fb03e2f7d988d4c772960af11c91 Stats: 411 lines in 13 files changed: 297 ins; 40 del; 74 mod 8303485: Replacing os.name for operating system customization Reviewed-by: naoto, erikj, alanb ------------- PR: https://git.openjdk.org/jdk/pull/12931