[crac] Integrated: Fix builds

Tue Aug 15 07:02:45 UTC 2023

On Sat, 12 Aug 2023 11:48:03 GMT, Anton Kozlov <akozlov at openjdk.org> wrote:

> Fix builds in vairous configurations

This pull request has now been integrated.

Changeset: cac87595
Author:    Anton Kozlov <akozlov at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/cac875950ec0e1c528659de39cc6903cb968b26f
Stats:     38 lines in 10 files changed: 28 ins; 3 del; 7 mod

Fix builds

Reviewed-by: jkratochvil

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

PR: https://git.openjdk.org/crac/pull/104