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

Signed-off-by: Damien George <damien@micropython.org>
micropython · Jun 14, 2023 · 33b403d · 33b403d
1 parent 856e08b
commit 33b403d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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