diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-08-16 13:13:01 +1000 |
|---|---|---|
| committer | Jim Mussared <jim.mussared@gmail.com> | 2023-08-23 15:49:37 +1000 |
| commit | 873bd00ad48b0c4a2b3addb95964ac0ecbb918f2 (patch) | |
| tree | 8a8132094dc61ca9bb2de0247bda7b00a7ed9029 /tools | |
| parent | ef03ca8bf2e06d3d8b753aafdf13e1399dc26847 (diff) | |
rp2: Rename PICO, PICO_W to RPI_PICO, RPI_PICO_W.
PICO might not always be a unique name across all ports, and the
convention generally for other boards is to do VENDOR_BOARD.
This work was funded through GitHub Sponsors.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index f60ba0fd5..33dc58d6b 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -272,8 +272,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 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=RPI_PICO_W submodules + make ${MAKEOPTS} -C ports/rp2 BOARD=RPI_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 |