fix config type
This commit is contained in:
		
				
					committed by
					
						
						Luke Wren
					
				
			
			
				
	
			
			
			
						parent
						
							5867849b17
						
					
				
				
					commit
					ea40696827
				
			@ -8,7 +8,7 @@ set(PICO_SDK_VERSION_MINOR 2)
 | 
				
			|||||||
# PICO_CONFIG: PICO_SDK_VERSION_REVISION, SDK version revision, type=int, pico_base
 | 
					# PICO_CONFIG: PICO_SDK_VERSION_REVISION, SDK version revision, type=int, pico_base
 | 
				
			||||||
set(PICO_SDK_VERSION_REVISION 0)
 | 
					set(PICO_SDK_VERSION_REVISION 0)
 | 
				
			||||||
# PICO_BUILD_DEFINE: PICO_SDK_VERSION_PRE_RELEASE_ID, optional SDK pre-release version identifier, type=string, pico_base
 | 
					# 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=int, pico_base
 | 
					# PICO_CONFIG: PICO_SDK_VERSION_PRE_RELEASE_ID, SDK version revision, type=string, pico_base
 | 
				
			||||||
set(PICO_SDK_VERSION_PRE_RELEASE_ID develop)
 | 
					set(PICO_SDK_VERSION_PRE_RELEASE_ID develop)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
# PICO_BUILD_DEFINE: PICO_SDK_VERSION_STRING, SDK version, type=string, group=pico_base
 | 
					# PICO_BUILD_DEFINE: PICO_SDK_VERSION_STRING, SDK version, type=string, group=pico_base
 | 
				
			||||||
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user