mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2024-09-29 04:58:50 +08:00
bump picotool to the develop branch (#1886)
This commit is contained in:
parent
ff5401f3b2
commit
876f331033
|
@ -35,7 +35,7 @@ if (NOT TARGET picotool)
|
|||
FetchContent_Declare(
|
||||
picotool
|
||||
GIT_REPOSITORY https://github.com/raspberrypi/picotool.git
|
||||
GIT_TAG 2.0.0
|
||||
GIT_TAG develop
|
||||
GIT_PROGRESS true
|
||||
)
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user