diff options
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 |