Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

diff --git a/src/mc/remote/RemoteClient.cpp b/src/mc/remote/RemoteClient.cpp
index e6096a6..067b932 100644 (file)
--- a/src/mc/remote/RemoteClient.cpp
+++ b/src/mc/remote/RemoteClient.cpp
@@ -85,8 +85,10 @@ static const std::vector<std::string> filtered_libraries = {
     "libdl",
     "libdw",
     "libelf",
+    "libflang",
     "libevent",
     "libgcc_s",
+    "libgfortran",
     "libimf",
     "libintlc",
     "libirng",
@@ -97,6 +99,7 @@ static const std::vector<std::string> filtered_libraries = {
     "libpapi",
     "libpfm",
     "libpthread",
+    "libquadmath",
     "librt",
     "libstdc++",
     "libsvml",