flags

openturns · Mar 20, 2024 · 9e6e118 · 9e6e118
1 parent 25cbe64
commit 9e6e118
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.ci_support/run_docker_linux.sh b/.ci_support/run_docker_linux.sh
@@ -6,8 +6,8 @@ cd /tmp
 mkdir build && cd build
 cmake -DCMAKE_INSTALL_PREFIX=~/.local \
       -DCMAKE_UNITY_BUILD=ON -DCMAKE_UNITY_BUILD_BATCH_SIZE=32 \
-      -DCMAKE_CXX_FLAGS="-Wall -Wextra -D_GLIBCXX_ASSERTIONS" \
-      -DSWIG_COMPILE_FLAGS="-O1 -Wno-unused-parameter" \
+      -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" \
       /io
 make install
@@ -18,6 +18,6 @@ uid=$1
 gid=$2
 if test -n "${uid}" -a -n "${gid}"
 then
-  sudo cp -r ~/.local/share/*/doc/html /io
+  sudo cp -r ~/.local/share/doc/*/html /io
   sudo chown -R ${uid}:${gid} /io/html
 fi