debug

openturns · Jul 16, 2024 · 521aa3c · 521aa3c
1 parent 46650c6
commit 521aa3c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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}