[crac] Integrated: 8346387: [CRaC] Add --with-criu configure option

[Timofei Pushkin]

On Tue, 17 Dec 2024 12:19:43 GMT, Timofei Pushkin <duke at openjdk.org> wrote:

> Adds `--with-criu-crac` configure option that copies the specified CRIU binary into packaged JDK images so that CRaC implementation can find it.

This pull request has now been integrated.

Changeset: b2823ab5
Author:    Anton Kozlov <akozlov at azul.com>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/b2823ab5690f54f004206cfb79e087470449e380
Stats:     33 lines in 4 files changed: 32 ins; 0 del; 1 mod

8346387: [CRaC] Add --with-criu configure option

Co-authored-by: Timofei Pushkin <pushkin.td at gmail.com>
Reviewed-by: rvansa

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

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