diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/ci.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 986ec6756..4e4aad560 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -177,6 +177,20 @@ function ci_qemu_arm_build { } ######################################################################################## +# ports/rp2 + +function ci_rp2_setup { + ci_gcc_arm_setup +} + +function ci_rp2_build { + make ${MAKEOPTS} -C mpy-cross + git submodule update --init lib/pico-sdk + git -C lib/pico-sdk submodule update --init lib/tinyusb + make ${MAKEOPTS} -C ports/rp2 +} + +######################################################################################## # ports/samd function ci_samd_setup { |