lib/pico-sdk: Fix Pico SDK fetching develop picotool. #17741
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
SDK 2.1.1 shipped with
PICOTOOL_FETCH_FROM_GIT
configured to fetch the "develop" branch. This eventually broke (my) 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, and this PR bumps the Pico SDK submodule to that new tag.
Aside from a small documentation change there are no other changes to Pico SDK with this submodule bump.
I don't know how widespread this breakage might be, but since I rely on
PICOTOOL_FETCH_FROM_GIT
in continuous integration (please, spare your judgement as to the wisdom of this choice) it broke CI across basically every downstream build of MicroPython I maintain... more than a couple... and might cause similar frustrations for other users since MicroPython is still referencing a broken version of Pico SDK.Note: While picotool has been fixed in the interim so that the develop version no longer causes a build breakage, there's no guarantee that it wont do so again.