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

Enable Werror for Posix Demo Coverage Test target (#1059)

Browse source 
Enable Werror for Posix Demo Coverage Test target

Werror cannot be enabled for the non coverage test because tracelyzer
code generates warnings in that target.

Also add "Build Posix_GCC Demo for Coverage Test" in the PR checks to
catch warnings from kernel code in PR checks.

Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
This commit is contained in:
Gaurav-Aggarwal-AWS 2023-08-02 15:39:38 +05:30 • committed by GitHub
parent 792efb4bb7
commit 1cf219a80b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/freertos_demos.yml vendored
View file

@ -231,6 +231,11 @@ jobs:
exit 1 exit 1
fi fi
- name: Build Posix_GCC Demo for Coverage Test
shell: bash
working-directory: FreeRTOS/Demo/Posix_GCC
run: make -j COVERAGE_TEST=1
- name: Build Posix_GCC Full Demo - name: Build Posix_GCC Full Demo
id: build-posix-gcc-full-demo id: build-posix-gcc-full-demo
shell: bash shell: bash
@ -239,6 +244,7 @@ jobs:
# Build Posix_GCC Full Demo # Build Posix_GCC Full Demo
echo "::group::Build Posix_GCC Full Demo" echo "::group::Build Posix_GCC Full Demo"
sed -i -z "s/int[[:space:]]*main[[:space:]]*([[:space:]]*void[[:space:]]*)\n{/int main( void ){setvbuf( stdout, NULL, _IONBF, 0 );/g" main.c sed -i -z "s/int[[:space:]]*main[[:space:]]*([[:space:]]*void[[:space:]]*)\n{/int main( void ){setvbuf( stdout, NULL, _IONBF, 0 );/g" main.c
make clean
make -j make -j
echo "::endgroup::" echo "::endgroup::"
if [ "$?" = "0" ]; then if [ "$?" = "0" ]; then

1
FreeRTOS/Demo/Posix_GCC/FreeRTOSConfig.h
View file

@ -59,6 +59,7 @@
#define configUSE_QUEUE_SETS 1 #define configUSE_QUEUE_SETS 1
#define configUSE_TASK_NOTIFICATIONS 1 #define configUSE_TASK_NOTIFICATIONS 1
#define configSUPPORT_STATIC_ALLOCATION 1 #define configSUPPORT_STATIC_ALLOCATION 1
#define configRECORD_STACK_HIGH_ADDRESS 1
/* Software timer related configuration options. The maximum possible task /* Software timer related configuration options. The maximum possible task
* priority is configMAX_PRIORITIES - 1. The priority of the timer task is * priority is configMAX_PRIORITIES - 1. The priority of the timer task is

1
FreeRTOS/Demo/Posix_GCC/Makefile
View file

@ -73,6 +73,7 @@ endif
ifeq ($(COVERAGE_TEST),1) ifeq ($(COVERAGE_TEST),1)
CPPFLAGS += -DprojCOVERAGE_TEST=1 CPPFLAGS += -DprojCOVERAGE_TEST=1
CFLAGS += -Werror
else else
CPPFLAGS += -DprojCOVERAGE_TEST=0 CPPFLAGS += -DprojCOVERAGE_TEST=0
# Trace library. # Trace library.