tools/ci.sh: Build PICO_W board as part of rp2 CI.

Signed-off-by: Damien George <damien@micropython.org>
pull/10739/head
Damien George 2023-06-13 09:36:26 +10:00
rodzic 856e08b193
commit 33b403dfb4
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -300,8 +300,8 @@ function ci_rp2_build {
make ${MAKEOPTS} -C mpy-cross
make ${MAKEOPTS} -C ports/rp2 submodules
make ${MAKEOPTS} -C ports/rp2
make ${MAKEOPTS} -C ports/rp2 clean
make ${MAKEOPTS} -C ports/rp2 USER_C_MODULES=../../examples/usercmodule/micropython.cmake
make ${MAKEOPTS} -C ports/rp2 BOARD=PICO_W submodules
make ${MAKEOPTS} -C ports/rp2 BOARD=PICO_W USER_C_MODULES=../../examples/usercmodule/micropython.cmake
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO submodules
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO