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

Added missing include flag in vf start script.

Browse source
This commit is contained in:
Tobias Reinhard 2022-10-11 15:10:20 -04:00
parent 80651ca320
commit 21457b6611
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
verification/verifast/start-vfide.sh
View file

@ -32,7 +32,7 @@ FREERTOS_SMP_DEMO_DIR="demos/FreeRTOS-SMP-Demos"
# ->
# `$GENERATED_HEADERS_DIR/pico_base`
"$VFIDE" "$HEADER_DIR" \
"$VFIDE" -I "$HEADER_DIR" \
-I $PROOF_SETUP_DIR -D VERIFAST_PROOF "$TASKS_C" \
-I $FREERTOS_SMP_DEMO_DIR/FreeRTOS/Source/portable/ThirdParty/GCC/RP2040/include \
-I $PICO_SDK_PATH/src/common/pico_base/include \