On Tue, 5 Dec 2023 13:00:04 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> So you need to check both the flag and the header file? Oh well, then this is > probably as good as it gets. Yes, we have to check both the flag and the header file. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16234#issuecomment-1841926432
