From 3fc87311ad2950a160412fa6961abf8f0bdc3165 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 10 Jul 2018 10:52:51 +0200
Subject: [PATCH] Add libboost_timer to mc/remote 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 a399e33ec8..eb1e680455 100644
--- a/src/mc/remote/RemoteClient.cpp
+++ b/src/mc/remote/RemoteClient.cpp
@@ -74,6 +74,7 @@ static const std::vector<std::string> filtered_libraries = {
     "libboost_context-mt",
     "libboost_system",
     "libboost_thread",
+    "libboost_timer",
     "libboost_unit_test_framework",
     "libc",
     "libc++",
-- 
2.20.1