From bad659ba49e277946de6d31462fdceffe908b88e Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@wasabi>
Date: Thu, 26 Jul 2018 11:18:43 +0200
Subject: [PATCH 1/1] add another library to excludes to please mc

---
 src/mc/remote/RemoteClient.cpp | 1 +
 1 file changed, 1 insertion(+)

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",
-- 
2.20.1