From b92e51efe740dc7704bbb0ea47c4fb12be25672d Mon Sep 17 00:00:00 2001 From: Andrew Leech Date: Thu, 26 May 2022 13:21:55 +1000 Subject: [PATCH] tools/ci.sh: Add build of W5100S_EVB_PICO board to rp2 CI. This exercises the inclusion of a number of libraries in the rp2 port including mbedtls and lwip. Signed-off-by: Andrew Leech --- tools/ci.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/ci.sh b/tools/ci.sh index 67be9dad7..546f9781f 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -276,6 +276,8 @@ function ci_rp2_build { 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=W5100S_EVB_PICO submodules + make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO } ########################################################################################