len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-09-10 08:07:46 -04:00
Code Issues Projects Releases Packages Wiki Activity

Update README.md

Browse source
This commit is contained in:
chinglee-iot 2024-04-18 20:27:56 +08:00 • committed by GitHub
parent d1e0919dc2
commit a6bba2aed1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/coverity/README.md
View file

@ -34,10 +34,12 @@ commands in a terminal:
cov-configure --force --compiler cc --comptype gcc cov-configure --force --compiler cc --comptype gcc
~~~ ~~~
2. Create the build files using CMake in a `build` directory: 2. Create the build files using CMake in a `build` directory:
Singe core FreeRTOS: Singe core FreeRTOS:
~~~ ~~~
cmake -B build -S examples/coverity cmake -B build -S examples/coverity
~~~ ~~~
SMP FreeRTOS: SMP FreeRTOS:
~~~ ~~~
cmake -B build -S examples/coverity -DFREERTOS_SMP_EXAMPLE=1 cmake -B build -S examples/coverity -DFREERTOS_SMP_EXAMPLE=1