From 120c7e4d7938fa591601fd60a26f9fb4b0ad8d79 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Tue, 17 Nov 2020 17:53:00 +0100
Subject: [PATCH] one more lib to exclude ... we should really get rid of this
 in MC, no?

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

diff --git a/src/mc/remote/RemoteSimulation.cpp b/src/mc/remote/RemoteSimulation.cpp
index b9abdbe368..8cc6c18aac 100644
--- a/src/mc/remote/RemoteSimulation.cpp
+++ b/src/mc/remote/RemoteSimulation.cpp
@@ -67,6 +67,7 @@ static const std::vector<std::string> filtered_libraries = {
     "libelf",
     "libevent",
     "libexecinfo",
+    "libffi",
     "libflang",
     "libflangrti",
     "libgcc_s",
-- 
2.20.1