diff options
| author | Angus Gratton <angus@redyak.com.au> | 2025-02-11 17:46:33 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-02-20 00:57:45 +1100 |
| commit | 1034b17558b108b65aca480d3b5b8f933e128369 (patch) | |
| tree | 579b6b02e018960e11c76734f740bc186124edfc | |
| parent | 516709be88571da0195125c840e772a3ec70fa66 (diff) | |
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>
| -rwxr-xr-x | tools/ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index ff362efd2..d50af4a0a 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -342,7 +342,8 @@ function ci_rp2_build { make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO2 submodules make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_PICO2 make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO submodules - make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO + # This build doubles as a build test for disabling threads in the config + make ${MAKEOPTS} -C ports/rp2 BOARD=W5100S_EVB_PICO CFLAGS_EXTRA=-DMICROPY_PY_THREAD=0 # Test building ninaw10 driver and NIC interface. make ${MAKEOPTS} -C ports/rp2 BOARD=ARDUINO_NANO_RP2040_CONNECT submodules |