diff options
| author | iabdalkader <i.abdalkader@gmail.com> | 2024-03-14 08:41:52 +0100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-03-15 18:11:28 +1100 |
| commit | 486ca3a688542f9f535522c29342e2dafe805d5a (patch) | |
| tree | 6a848e667239d5e9733c1bd6063484896c4f0c27 /tools | |
| parent | e5ca06a06fbb36b82dc50c118735cc1c10506080 (diff) | |
tools/ci.sh: Add Arduino GIGA to stm32 CI build.
Signed-off-by: iabdalkader <i.abdalkader@gmail.com>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 3cbc51cfa..f94f23893 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -366,6 +366,12 @@ function ci_stm32_nucleo_build { diff $BUILD_WB55/firmware.unpack.dfu $BUILD_WB55/firmware.unpack_no_sk.dfu } +function ci_stm32_misc_build { + make ${MAKEOPTS} -C mpy-cross + make ${MAKEOPTS} -C ports/stm32 BOARD=ARDUINO_GIGA submodules + make ${MAKEOPTS} -C ports/stm32 BOARD=ARDUINO_GIGA +} + ######################################################################################## # ports/unix |