len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-11 22:25:14 -05:00
Code Issues Projects Releases Packages Wiki Activity

Typo

Browse source
This commit is contained in:
Tobias Reinhard 2022-12-10 17:41:37 -05:00
parent c11a401b1b
commit d989b3441d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Test/VeriFast/tasks/vTaskSwitchContext/custom_build_scripts_RP2040/preprocess_file.sh
View file

@ -73,7 +73,7 @@ BUILD_FLAGS=(
-DmainRUN_FREE_RTOS_ON_CORE=1 -DmainRUN_FREE_RTOS_ON_CORE=1
) )
delcare -a PICO_INCLUDE_FLAGS declare -a PICO_INCLUDE_FLAGS
PICO_INCLUDE_FLAGS=( PICO_INCLUDE_FLAGS=(
-I"$PICO_SDK_DIR/src/boards/include" -I"$PICO_SDK_DIR/src/boards/include"
-I"$PICO_SDK_DIR/src/common/pico_base/include" -I"$PICO_SDK_DIR/src/common/pico_base/include"