Integrated: 7903917: Changes needed for jdk23-based makefile build

Mon Jan 6 16:58:51 UTC 2025

On Tue, 17 Dec 2024 16:35:00 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

> Changes necessary to bump the supported version to JDK 23.
> Passes tier 1.
> 
> Note: This PR will not be integrated before https://github.com/openjdk/jextract/pull/264 as the removal of `--enable-preview` is needed.

This pull request has now been integrated.

Changeset: 0b89a462
Author:    Nizar Benalla <nbenalla at openjdk.org>
Committer: Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/0b89a462146940a2ec90e34eeb5df3d46d8980d2
Stats:     2 lines in 1 file changed: 0 ins; 1 del; 1 mod

7903917: Changes needed for jdk23-based makefile build

Reviewed-by: jvernee

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

PR: https://git.openjdk.org/jextract/pull/265