lib/pico-sdk: Fix Pico SDK fetching develop picotool.
SDK 2.1.1 shipped with PICOTOOL_FETCH_FROM_GIT configured to fetch the "develop" branch. This broke downstream CI, which was trusting Pico SDK to fetch the correct version. RPi have added a "2.1.1-correct-picotool" tag which fixes this. lib/pico-sdk: Bump to "2.1.1-correct-picotool" tag. Signed-off-by: Phil Howard <github@gadgetoid.com>
This commit is contained in:
parent
bc77b27bad
commit
cbc6aed8fa
|
@ -1 +1 @@
|
||||||
Subproject commit bddd20f928ce76142793bef434d4f75f4af6e433
|
Subproject commit 9a4113fbbae65ee82d8cd6537963bc3d3b14bcca
|
Loading…
Reference in New Issue