Integrated: 8303485: Replacing os.name for operating system customization

[Roger Riggs]

On Wed, 8 Mar 2023 19:15:16 GMT, Roger Riggs <rriggs at 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 <rriggs at 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