X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/89a68d74c5e01051bd606a36e347610ca98274aa..50753d5f8442a47c17c4035724201a18a7ff6146:/tools/jenkins/Flags.sh

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index ef34b956c0..e8f9198f16 100755
--- a/tools/jenkins/Flags.sh
+++ b/tools/jenkins/Flags.sh
@@ -66,8 +66,18 @@ else
 fi
 
 echo "Step ${STEP}/${NSTEPS} - Building with debug=${builddebug}, SMPI=${buildsmpi}, MC=${buildmc}"
+
+if [ "${builddebug}/${buildsmpi}/${buildmc}" = "ON/ON/ON" ]; then
+    # ${buildmc}=ON because "why not", and especially because it doesn't
+    # compile with -D_GLIBCXX_DEBUG and -Denable_ns3=ON together
+    export CXXFLAGS=-D_GLIBCXX_DEBUG
+    runtests="ON"
+else
+    runtests="OFF"
+fi
+
 cmake -Denable_documentation=OFF \
-      -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
+      -Denable_compile_optimizations=${runtests} -Denable_compile_warnings=ON \
       -Denable_mallocators=ON -Denable_debug=${builddebug} \
       -Denable_smpi=${buildsmpi} -Denable_smpi_MPICH3_testsuite=${buildsmpi} -Denable_model-checking=${buildmc} \
       -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_MBI_testsuite=OFF \
@@ -76,5 +86,11 @@ cmake -Denable_documentation=OFF \
       "$WORKSPACE"
 
 make -j$NUMPROC tests
+
+if [ "$runtests" = "ON" ]; then
+    # exclude tests known to fail with _GLIBCXX_DEBUG
+    ctest -j$NUMPROC -E '^[ps]thread-|mc-bugged1-liveness' --output-on-failure
+fi
+
 cd ..
 rm -rf build