Integrated: JDK-8295710 : remove os::dll_file_extension

Wed Oct 26 06:39:30 UTC 2022

On Thu, 20 Oct 2022 08:12:04 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote:

> The os::dll_file_extension() function could be unified for the different OS platforms.

This pull request has now been integrated.

Changeset: b2878c90
Author:    Matthias Baesken <mbaesken at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/b2878c904beb971da37b1da50a7294c460d6cef3
Stats:     13 lines in 6 files changed: 0 ins; 12 del; 1 mod

8295710: remove os::dll_file_extension

Reviewed-by: dholmes, mdoerr, lucy

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

PR: https://git.openjdk.org/jdk/pull/10782