RFR: JDK-8295710 : remove os::dll_file_extension [v3]

[Lutz Schmidt]

On Tue, 25 Oct 2022 11:35:03 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote:

>> The os::dll_file_extension() function could be unified for the different OS platforms.
>
> Matthias Baesken has updated the pull request incrementally with one additional commit since the last revision:
> 
>   remove dll_file_extension from os.hpp

LGTM.
Thank you for unifying. I like the fact that knowledge about the dynamic library extension is now stored at exactly one place.

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

Marked as reviewed by lucy (Reviewer).

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