From c26fdbfb69cff48549d5a522eb7d6b84c9c669db Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 1 Feb 2019 23:56:17 +0100
Subject: [PATCH] make sure to define _FILE_OFFSET_BITS as early as possible

It won't be effective if defined after the system headers are loaded.
---
 src/mc/remote/RemoteClient.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/mc/remote/RemoteClient.cpp b/src/mc/remote/RemoteClient.cpp
index 6d239f296c..8766ad528d 100644
--- a/src/mc/remote/RemoteClient.cpp
+++ b/src/mc/remote/RemoteClient.cpp
@@ -3,6 +3,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#define _FILE_OFFSET_BITS 64 /* needed for pread_whole to work as expected on 32bits */
+
 #include "src/mc/remote/RemoteClient.hpp"
 
 #include "xbt/file.hpp"
@@ -10,8 +12,6 @@
 #include "src/mc/mc_smx.hpp"
 #include "src/mc/sosp/mc_snapshot.hpp"
 
-#define _FILE_OFFSET_BITS 64 /* needed for pread_whole to work as expected on 32bits */
-
 #include <fcntl.h>
 #include <libunwind-ptrace.h>
 #include <sys/mman.h> // PROT_*
-- 
2.20.1