fix compilation for non github users
ssh git cloning requires ssh key. Allow non github users to compile the code
This commit is contained in:
		
				
					committed by
					
						
						Graham Sanderson
					
				
			
			
				
	
			
			
			
						parent
						
							eb19e49522
						
					
				
				
					commit
					0396bf1da9
				
			@ -26,7 +26,7 @@ if(PICO_BUILD_DOCS)
 | 
				
			|||||||
        add_custom_target(doc-pico-examples)
 | 
					        add_custom_target(doc-pico-examples)
 | 
				
			||||||
    else()
 | 
					    else()
 | 
				
			||||||
        ExternalProject_Add(doc-pico-examples
 | 
					        ExternalProject_Add(doc-pico-examples
 | 
				
			||||||
                GIT_REPOSITORY    git@github.com:raspberrypi/pico-examples.git
 | 
					                GIT_REPOSITORY    https://github.com/raspberrypi/pico-examples
 | 
				
			||||||
                GIT_TAG           master
 | 
					                GIT_TAG           master
 | 
				
			||||||
                CONFIGURE_COMMAND ""
 | 
					                CONFIGURE_COMMAND ""
 | 
				
			||||||
                BUILD_COMMAND ""
 | 
					                BUILD_COMMAND ""
 | 
				
			||||||
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user