From 52d5f3988182e3fe181b88f9b64f6dc02655a898 Mon Sep 17 00:00:00 2001 From: Alessandro Gatti Date: Thu, 5 Sep 2024 20:56:30 +0200 Subject: [PATCH] tools/ci.sh: Add missing FFI helper for CI RV64 Unix builds. The FFI helper definition was accidentally omitted when committing the necessary shell code for building RV64 Unix builds in the CI environment. Signed-off-by: Alessandro Gatti --- tools/ci.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/ci.sh b/tools/ci.sh index ad30d9e4d..c6decb5aa 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -704,6 +704,7 @@ function ci_unix_qemu_riscv64_setup { function ci_unix_qemu_riscv64_build { ci_unix_build_helper "${CI_UNIX_OPTS_QEMU_RISCV64[@]}" + ci_unix_build_ffi_lib_helper riscv64-linux-gnu-gcc } function ci_unix_qemu_riscv64_run_tests {