From a028638730ac839b7df376e685867bf3dae3ca61 Mon Sep 17 00:00:00 2001
From: Adrien Cassagne <adrien.cassagne@inria.fr>
Date: Mon, 24 May 2021 16:13:30 +0200
Subject: [PATCH] CI: fix clang analysis.

---
 ci/analysis-clang.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ci/analysis-clang.sh b/ci/analysis-clang.sh
index 91f722eb9..c429eceb7 100755
--- a/ci/analysis-clang.sh
+++ b/ci/analysis-clang.sh
@@ -24,8 +24,9 @@ cd $NAME
 
 # scan-build -v -plist --intercept-first --analyze-headers -o $REPORTS_DIR \
 scan-build -v -plist -o $REPORTS_DIR \
-           cmake .. -G"Unix Makefiles" -DCMAKE_BUILD_TYPE=Debug \
-                    -DCMAKE_CXX_FLAGS="$CFLAGS" -DCMAKE_VERBOSE_MAKEFILE=ON \
+           cmake .. -G"Unix Makefiles" -DCMAKE_CXX_COMPILER=clang++ \
+                    -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_FLAGS="$CFLAGS" \
+                    -DCMAKE_VERBOSE_MAKEFILE=ON \
                     -DCMAKE_EXPORT_COMPILE_COMMANDS=ON \
                     -DCMAKE_EXE_LINKER_FLAGS="$LFLAGS" $CMAKE_OPT
 rc=$?; if [[ $rc != 0 ]]; then exit $rc; fi