mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2026-03-12 04:08:15 +01:00
build: fix mismatched config descriptions
This commit is contained in:
parent
c68a57aa34
commit
c4e35d914d
1 changed files with 1 additions and 1 deletions
|
|
@ -8,7 +8,7 @@ set(PICO_SDK_VERSION_MINOR 1)
|
|||
# PICO_CONFIG: PICO_SDK_VERSION_REVISION, SDK version revision, type=int, pico_base
|
||||
set(PICO_SDK_VERSION_REVISION 1)
|
||||
# PICO_BUILD_DEFINE: PICO_SDK_VERSION_PRE_RELEASE_ID, optional SDK pre-release version identifier, type=string, pico_base
|
||||
# PICO_CONFIG: PICO_SDK_VERSION_PRE_RELEASE_ID, SDK version revision, type=string, pico_base
|
||||
# PICO_CONFIG: PICO_SDK_VERSION_PRE_RELEASE_ID, optional SDK pre-release version identifier, type=string, pico_base
|
||||
set(PICO_SDK_VERSION_PRE_RELEASE_ID develop)
|
||||
|
||||
# PICO_BUILD_DEFINE: PICO_SDK_VERSION_STRING, SDK version, type=string, group=pico_base
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue