From 521aa3c7488106347968acc62d1190895e98e153 Mon Sep 17 00:00:00 2001
From: Julien Schueller <schueller@phimeca.com>
Date: Tue, 16 Jul 2024 12:46:13 +0200
Subject: [PATCH] debug

---
 .ci_support/run_docker_linux.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.ci_support/run_docker_linux.sh b/.ci_support/run_docker_linux.sh
index cbe095d..5143388 100755
--- a/.ci_support/run_docker_linux.sh
+++ b/.ci_support/run_docker_linux.sh
@@ -8,9 +8,9 @@ cmake -DCMAKE_INSTALL_PREFIX=~/.local \
       -DCMAKE_UNITY_BUILD=ON \
       -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wpedantic -Wshadow -Werror -D_GLIBCXX_ASSERTIONS" \
       -DSWIG_COMPILE_FLAGS="-O1 -Wno-unused-parameter -Wno-shadow" \
-      -DSPHINX_FLAGS="-W -T -j4" \
+      -DUSE_SPHINX=OFF -DSPHINX_FLAGS="-W -T -j4" \
       /io
-make install
+make install VERBOSE=1
 make tests
 ctest --output-on-failure --timeout 100 ${MAKEFLAGS}