diff options
| author | Alessandro Gatti <a.gatti@frob.it> | 2024-09-05 20:56:30 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-09-19 13:49:12 +1000 |
| commit | 52d5f3988182e3fe181b88f9b64f6dc02655a898 (patch) | |
| tree | f269cb3cad4085ccccf90d89f40c5f3d154070b0 | |
| parent | 7b5738ad86f11eef682c5a649754777d2935a156 (diff) | |
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 <a.gatti@frob.it>
| -rwxr-xr-x | tools/ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 { |