From 1d6bce8638cc01a31124a3b9e7d566f4a036f403 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 4 Jul 2012 13:09:28 +0200
Subject: [PATCH] Include simgrid_config.h before stdio.h to define _GNU_SOURCE
 if needed.

---
 src/mc/mc_private.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 9b36857fca..2aa95d5b08 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -6,6 +6,7 @@
 #ifndef MC_PRIVATE_H
 #define MC_PRIVATE_H
 
+#include "simgrid_config.h"
 #include <stdio.h>
 #include <sys/mman.h>
 #include "mc/mc.h"
-- 
2.20.1