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

Specified font size in VF startup script.

Browse source
This commit is contained in:
Tobias Reinhard 2022-10-24 12:26:12 -04:00
parent 95049a67c0
commit 746c02f34a
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
verification/verifast/start-vfide--preprocessed.sh
View file

@ -13,6 +13,8 @@ PP_SCRIPT_DIR="$START_WD/custom_build_scripts_RP2040"
PP_SCRIPT="./preprocess_tasks_c.sh" PP_SCRIPT="./preprocess_tasks_c.sh"
PP_TASK_C="$START_WD/preprocessed_files/tasks--pp.c" PP_TASK_C="$START_WD/preprocessed_files/tasks--pp.c"
FONT_SIZE=16
cd "$PP_SCRIPT_DIR" cd "$PP_SCRIPT_DIR"
pwd pwd
ls ls
@ -21,4 +23,5 @@ cd "$START_WD"
echo "\n\nPreprocessing script finished\n\n" echo "\n\nPreprocessing script finished\n\n"
"$VF_DIR/bin/vfide" "$PP_TASK_C" "$VF_DIR/bin/vfide" "$PP_TASK_C" \
-codeFont "$FONT_SIZE" -traceFont "$FONT_SIZE"