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:
parent
90ce1faa14
commit
705f1ae59f
@ -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 ""
|
||||||
|
Loading…
Reference in New Issue
Block a user