Searched full:env (Results 1 – 6 of 6) sorted by relevance
10 if (DEFINED ENV{PICO_SDK_PATH} AND (NOT PICO_SDK_PATH))11 set(PICO_SDK_PATH $ENV{PICO_SDK_PATH})15 if (DEFINED ENV{PICO_SDK_FETCH_FROM_GIT} AND (NOT PICO_SDK_FETCH_FROM_GIT))16 set(PICO_SDK_FETCH_FROM_GIT $ENV{PICO_SDK_FETCH_FROM_GIT})20 if (DEFINED ENV{PICO_SDK_FETCH_FROM_GIT_PATH} AND (NOT PICO_SDK_FETCH_FROM_GIT_PATH))21 set(PICO_SDK_FETCH_FROM_GIT_PATH $ENV{PICO_SDK_FETCH_FROM_GIT_PATH})
8 if (DEFINED ENV{FREERTOS_KERNEL_PATH} AND (NOT FREERTOS_KERNEL_PATH))9 set(FREERTOS_KERNEL_PATH $ENV{FREERTOS_KERNEL_PATH})
29 env:61 …rc_version.py FreeRTOS --kernel-repo-path=local_kernel --kernel-commit=${{ env.COMMIT_SHA_1 }} --n…63 env:97 …ub.repository_owner }} --kernel-repo-path=local_kernel --kernel-commit=${{ env.COMMIT_SHA_2 }} --n…99 env:
16 env:
1 #!/usr/bin/env python3
