8000 tools/ci.sh: Add build of rp2 BOARD=W5100S_EVB_PICO. · micropython/micropython@e58596f · GitHub
[go: up one dir, main page]
Skip to content

Commit e58596f

Browse files
andrewleechandrewleech
committed
tools/ci.sh: Add build of rp2 BOARD=W5100S_EVB_PICO.
This exercises the inclusion of a number of libraries in the rpi2 port including mbed and lwip. Signed-off-by: Andrew Leech <andrew@alelec.net>
1 parent ccad19c commit e58596f

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎tools/ci.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -276,6 +276,8 @@ function ci_rp2_build {
276276
make ${MAKEOPTS} -C ports/rp2
277277
make ${MAKEOPTS} -C ports/rp2 clean
278278
make ${MAKEOPTS} -C ports/rp2 USER_C_MODULES=../../examples/usercmodule/micropython.cmake
279+
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO submodules
280+
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO
279281
}
280282

281283
########################################################################################

0 commit comments

Comments
 (0)
0