diff options
| author | Damien George <damien@micropython.org> | 2022-06-08 14:51:48 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-06-08 15:00:59 +1000 |
| commit | 6a1dbaad1ca7a8e065ee69e4107497e507afdea6 (patch) | |
| tree | a0e1fcce1ef53242471e7cfe14abfd842dac18de | |
| parent | 182256dc13479223160c2b463abf9d6539504503 (diff) | |
tools/ci.sh: Build NUCLEO_H743ZI with -O2 optimisation level.
This tests the build when -O2 is used, which can lead to additional
compiler analysis and warnings.
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 4670a9211..4490099b6 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -320,7 +320,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=NUCLEO_H743ZI CFLAGS_EXTRA='-DMICROPY_PY_THREAD=1' + 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 |