diff options
| author | Alessandro Gatti <a.gatti@frob.it> | 2024-09-19 20:27:04 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-09-23 11:47:18 +1000 |
| commit | bb3c711c04518bf926f85e05d29e8fbfc9dd1b93 (patch) | |
| tree | 8871adda75b2146eef23da29386e1d5b3b47204f /tools/metrics.py | |
| parent | 97966254577167f4c50200af1af89109a275da1c (diff) | |
tools/ci.sh: Let RV64 use a source-built version of libffi.
This commit lets the RV64 port use the version of libffi that is bundled
as a submodule in the MicroPython source tree, as the packaged libffi
library coming from Ubuntu's RISC-V repository trashes foreign function
call results on exit.
Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions