8000 tools/ci.sh: Build the W5100S_EVB_PICO board with no threads. · sparkfun/micropython@1034b17 · GitHub
[go: up one dir, main page]
Skip to content

Commit 1034b17

Browse files
projectgusdpgeorge
projectgus
authored and
dpgeorge
committed
tools/ci.sh: Build the W5100S_EVB_PICO board with no threads.
Serves as a build test for a config we don't otherwise support. Signed-off-by: Angus Gratton <angus@redyak.com.au>
1 parent 516709b commit 1034b17

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

‎tools/ci.sh

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -342,7 +342,8 @@ function ci_rp2_build {
342342
make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO2 submodules
343343
make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO2
344344
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO submodules
345-
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO
345+
# This build doubles as a build test for disabling threads in the config
346+
make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO CFLAGS_EXTRA=-DMICROPY_PY_THREAD=0
346347

347348
# Test building ninaw10 driver and NIC interface.
348349
make ${MAKEOPTS} -C ports/rp2 BOARD=ARDUINO_NANO_RP2040_CONNECT submodules

0 commit comments

Comments
 (0)
0