From 0d7bbc539130580c39e12e289255dd6c1ba18bdc Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 6 Nov 2015 21:42:29 +0100 Subject: [PATCH] =?utf8?q?[win]=C2=A0protect=20the=20inclusion=20of=20a=20?= =?utf8?q?non-existing=20file?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- src/xbt/memory_map.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/xbt/memory_map.cpp b/src/xbt/memory_map.cpp index 0fc10cba9e..29640c0d26 100644 --- a/src/xbt/memory_map.cpp +++ b/src/xbt/memory_map.cpp @@ -9,7 +9,9 @@ #include #include -#include +#ifdef __linux__ +# include +#endif #include #include -- 2.20.1