From 181ed51ab2f966861cd09ae97c927c08eb72e085 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Wed, 19 Feb 2025 15:46:02 +0100
Subject: [PATCH] ci: add -Werror gcc flag
---
.gitlab/build.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab/build.sh b/.gitlab/build.sh
index 37456ce..0700a58 100755
--- a/.gitlab/build.sh
+++ b/.gitlab/build.sh
@@ -7,7 +7,7 @@ if [[ "$SYSTEM" == "linux" ]]; then
# on linux we perform a coverage analysis
cmake -B build -S . -DCMAKE_INSTALL_PREFIX=$PWD/install \
-DBUILD_SHARED_LIBS=ON -DCMAKE_VERBOSE_MAKEFILE=ON \
- -DCMAKE_C_FLAGS="-O0 -g -fPIC --coverage -Wall -fdiagnostics-show-option -fno-inline" \
+ -DCMAKE_C_FLAGS="-O0 -g -fPIC --coverage -Werror -Wall -fdiagnostics-show-option -fno-inline" \
-DCMAKE_EXE_LINKER_FLAGS="--coverage" -DCMAKE_EXPORT_COMPILE_COMMANDS=ON
else
--
GitLab