From: Augustin Degomme <degomme@wasabi>
Date: Thu, 26 Jul 2018 09:18:43 +0000 (+0200)
Subject: add another library to excludes to please mc
X-Git-Tag: v3_21~355^2~23
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/bad659ba49e277946de6d31462fdceffe908b88e?ds=inline

add another library to excludes to please mc
---

diff --git a/src/mc/remote/RemoteClient.cpp b/src/mc/remote/RemoteClient.cpp
index 067b93288b..f137cb2607 100644
--- a/src/mc/remote/RemoteClient.cpp
+++ b/src/mc/remote/RemoteClient.cpp
@@ -85,6 +85,7 @@ static const std::vector<std::string> filtered_libraries = {
     "libdl",
     "libdw",
     "libelf",
+    "libexecinfo",
     "libflang",
     "libevent",
     "libgcc_s",