diff options
| author | Damien George <damien@micropython.org> | 2023-06-14 14:43:35 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-06-15 11:09:37 +1000 |
| commit | 0908d00453e63560451edfd062a0d24face1c705 (patch) | |
| tree | 4656aaf094e950a4996f94facd84f4909670513a /tools | |
| parent | 6f74146bc14fcc4011ec8df497fd85d52f176e4e (diff) | |
tools/ci.sh: Add a H5 board to stm32 CI build.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools')
| -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 eac0d52ff..986fe8f07 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -358,6 +358,7 @@ function ci_stm32_nucleo_build { # Test building various MCU families, some with additional options. make ${MAKEOPTS} -C ports/stm32 BOARD=NUCLEO_F091RC + make ${MAKEOPTS} -C ports/stm32 BOARD=STM32H573I_DK make ${MAKEOPTS} -C ports/stm32 BOARD=NUCLEO_H743ZI COPT=-O2 CFLAGS_EXTRA='-DMICROPY_PY_THREAD=1' make ${MAKEOPTS} -C ports/stm32 BOARD=NUCLEO_L073RZ make ${MAKEOPTS} -C ports/stm32 BOARD=NUCLEO_L476RG DEBUG=1 |