diff options
| author | Damien George <damien@micropython.org> | 2024-06-27 11:24:00 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-06-27 12:00:20 +1000 |
| commit | 706a4b44777280372ab5f77dd548f3764e82dbae (patch) | |
| tree | b8224cb8839192e94abed4af134c155ae7097143 | |
| parent | 096adca0c88cd779b3e5e391e42db1d46f87bba1 (diff) | |
tools/ci.sh: Build an stm32 board with -O2 enabled.
To test building with full optimisations.
Signed-off-by: Damien George <damien@micropython.org>
| -rwxr-xr-x | tools/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 7ba4ac4e5..9c54d55a4 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -355,7 +355,7 @@ function ci_stm32_pyb_build { git submodule update --init lib/mynewt-nimble make ${MAKEOPTS} -C ports/stm32 BOARD=PYBV11 MICROPY_PY_NETWORK_WIZNET5K=5200 USER_C_MODULES=../../examples/usercmodule make ${MAKEOPTS} -C ports/stm32 BOARD=PYBD_SF2 - make ${MAKEOPTS} -C ports/stm32 BOARD=PYBD_SF6 NANBOX=1 MICROPY_BLUETOOTH_NIMBLE=0 MICROPY_BLUETOOTH_BTSTACK=1 + make ${MAKEOPTS} -C ports/stm32 BOARD=PYBD_SF6 COPT=-O2 NANBOX=1 MICROPY_BLUETOOTH_NIMBLE=0 MICROPY_BLUETOOTH_BTSTACK=1 make ${MAKEOPTS} -C ports/stm32/mboot BOARD=PYBV10 CFLAGS_EXTRA='-DMBOOT_FSLOAD=1 -DMBOOT_VFS_LFS2=1' make ${MAKEOPTS} -C ports/stm32/mboot BOARD=PYBD_SF6 make ${MAKEOPTS} -C ports/stm32/mboot BOARD=STM32F769DISC CFLAGS_EXTRA='-DMBOOT_ADDRESS_SPACE_64BIT=1 -DMBOOT_SDCARD_ADDR=0x100000000ULL -DMBOOT_SDCARD_BYTE_SIZE=0x400000000ULL -DMBOOT_FSLOAD=1 -DMBOOT_VFS_FAT=1' |