diff options
author | Alessandro Gatti <a.gatti@frob.it> | 2023-11-03 21:27:24 +0100 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2024-07-23 15:51:50 +1000 |
commit | 44527ada5f120f5f131bcd759e86e4e5323555aa (patch) | |
tree | 010695147b3115ae17e0d9c3d8f5bd3e48dc01a3 /examples/usercmodule/cexample/examplemodule.c | |
parent | 594c4229b7aaa7b62ef2b24f47feeb7071714a0d (diff) |
unix/main: Fix GCC builds for RISC-V 64 bits.
This contains a workaround to silence a possibly incorrect warning when
building the Unix port with GCC targeting RISC-V 64 bits.
Fixes issue #12838.
Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
Diffstat (limited to 'examples/usercmodule/cexample/examplemodule.c')
0 files changed, 0 insertions, 0 deletions