From a49583a073245f63e7ad48306509ef28b0fd991b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 28 Jul 2018 00:05:41 +0200
Subject: [PATCH] filtered_libraries++

---
 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 ead155a25b..30df9a5820 100644
--- a/src/mc/remote/RemoteClient.cpp
+++ b/src/mc/remote/RemoteClient.cpp
@@ -86,6 +86,7 @@ static const std::vector<std::string> filtered_libraries = {
     "libevent",
     "libexecinfo",
     "libflang",
+    "libflangrti",
     "libgcc_s",
     "libgfortran",
     "libimf",
-- 
2.20.1