diff options
| author | Damien George <damien@micropython.org> | 2021-02-03 16:33:55 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-02-12 12:56:28 +1100 |
| commit | c9260dda23bfdaea042d3bb94e1a830af0dbfa18 (patch) | |
| tree | 090c942fbb3a8bf44e3f619948918606729d6242 /tools | |
| parent | 035d16126ac2e4ea9b9c1c33a15104cd952897a1 (diff) | |
rp2: Use local tinyusb instead of the one in pico-sdk.
So that all MicroPython ports that use tinyusb use the same version. Also
requires fewer submodule checkouts when building rp2 along with other ports
that use tinyusb.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index c6b641dae..8661f532e 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -195,8 +195,7 @@ function ci_rp2_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 + git submodule update --init lib/pico-sdk lib/tinyusb make ${MAKEOPTS} -C ports/rp2 } |