mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-04-23 17:42:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge 1a5cc704e48a5b1b409371bf27d5de53b2484ad4 into ee68c78d0afae2b69c03ae1a72bf5cc267a2d94c

Browse Source
This commit is contained in:
will-v-pi 2025-04-07 17:08:05 +01:00 committed by GitHub
commit 19f9fc21bb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/Findpicotool.cmake
View File

@ -37,7 +37,7 @@ if (NOT TARGET picotool)
message("Downloading Picotool")
FetchContent_Populate(picotool QUIET
GIT_REPOSITORY https://github.com/raspberrypi/picotool.git
GIT_TAG develop
GIT_TAG 2.1.1
SOURCE_DIR ${picotool_INSTALL_DIR}/picotool-src
BINARY_DIR ${picotool_INSTALL_DIR}/picotool-build