diff options
| author | Damien George <damien@micropython.org> | 2023-06-13 09:36:26 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-06-14 22:20:20 +1000 |
| commit | 33b403dfb4ea9ec90427e7228c53e0ac4d333863 (patch) | |
| tree | a2a881bd275420545da4a147f999f046818d1aa4 | |
| parent | 856e08b1931b88271816a2f60648f6ff332235b2 (diff) | |
tools/ci.sh: Build PICO_W board as part of rp2 CI.
Signed-off-by: Damien George <damien@micropython.org>
| -rwxr-xr-x | tools/ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index e69558a83..eac0d52ff 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -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 |