From a517c01c5a06289e36436e8f90d7a6228ce59a87 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 17 Aug 2019 17:53:57 +0200
Subject: [PATCH] fix non-MC builds

---
 src/mc/mc_config.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp
index 9353d3e87d..6dd2b9f5e6 100644
--- a/src/mc/mc_config.cpp
+++ b/src/mc/mc_config.cpp
@@ -18,6 +18,8 @@ namespace mc {
 simgrid::mc::ReductionMode reduction_mode = simgrid::mc::ReductionMode::unset;
 }
 }
+#else
+#define _sg_do_model_check 0
 #endif
 
 static void _mc_cfg_cb_check(const char* spec, bool more_check = true)
-- 
2.20.1