diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 98c95465c..bf60d788a 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -256,7 +256,7 @@ function ci_rp2_setup { function ci_rp2_build { make ${MAKEOPTS} -C mpy-cross - git submodule update --init lib/mbedtls lib/pico-sdk lib/tinyusb + make ${MAKEOPTS} -C ports/rp2 submodules make ${MAKEOPTS} -C ports/rp2 make ${MAKEOPTS} -C ports/rp2 clean make ${MAKEOPTS} -C ports/rp2 USER_C_MODULES=../../examples/usercmodule/micropython.cmake |