mirror
/
pico-playground
kopia lustrzana https://github.com/raspberrypi/pico-playground
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Target pico-playground repo rather than pico-extras

pull/47/head
Juan Jose Carranza Garcia 2023-12-04 19:53:46 -06:00
rodzic a23a2bae6d
commit d492e22859
1 zmienionych plików z 1 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

2
playground_auto_set_url.cmake
Wyświetl plik

@ -1,4 +1,4 @@
set(PICO_EXTRAS_URL_BASE "https://github.com/raspberrypi/pico-extras/tree/HEAD")
set(PICO_EXTRAS_URL_BASE "https://github.com/raspberrypi/pico-playground/tree/HEAD")
macro(playground_auto_set_url TARGET)
file(RELATIVE_PATH URL_REL_PATH "${PICO_EXTRAS_PATH}" "${CMAKE_CURRENT_LIST_DIR}")
pico_set_program_url(${TARGET} "${PICO_EXTRAS_URL_BASE}/${URL_REL_PATH}")