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

Improved readability of printouts in rewrite script.

Browse source
This commit is contained in:
Tobias Reinhard 2022-12-31 10:06:35 -05:00
parent 4386c13fb1
commit 259fb147af
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
View file

@ -24,8 +24,9 @@ rewrite()
{ {
FIND_REGEX=$1 FIND_REGEX=$1
REPLACE_REGEX=$2 REPLACE_REGEX=$2
echo "\tRewrite pattern: \"$FIND_REGEX\" -> \"$REPLACE_REGEX\"" echo "Rewrite pattern: \"$FIND_REGEX\" -> \"$REPLACE_REGEX\""
sed -i "" "s|$FIND_REGEX|$REPLACE_REGEX|g" $SOURCE_FILE sed -i "" "s|$FIND_REGEX|$REPLACE_REGEX|g" $SOURCE_FILE
echo
} }