[mc] Fix the DSO debug ignore list

This is nasty. We must get rid of this.

diff --git a/buildtools/jenkins/build.sh b/buildtools/jenkins/build.sh
index e6be9fa..7226a67 100755 (executable)
--- a/buildtools/jenkins/build.sh
+++ b/buildtools/jenkins/build.sh
@@ -4,6 +4,8 @@ set -e
 
 build_mode="$1"
 
+echo "Build mode $build_mode on $(uname -np)" >&2
+
 # usage: die status message...
 die () {
   local status=${1:-1}

diff --git a/src/mc/mc_process.cpp b/src/mc/mc_process.cpp
index d5234e0..5fee155 100644 (file)
--- a/src/mc/mc_process.cpp
+++ b/src/mc/mc_process.cpp
@@ -44,12 +44,13 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_process, mc,
 // ***** Helper stuff
 
 #define SO_RE "\\.so[\\.0-9]*$"
-#define VERSION_RE "-[\\.0-9]*$"
+#define VERSION_RE "-[\\.0-9-]*$"
 
 static const char *const FILTERED_LIBS[] = {
   "libstdc++",
   "libboost_context",
   "libc++",
+  "libcdt",
   "libm",
   "libgcc_s",
   "libpthread",