From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 17 Aug 2019 15:53:57 +0000 (+0200)
Subject: fix non-MC builds
X-Git-Tag: v3.24~181
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a517c01c5a06289e36436e8f90d7a6228ce59a87

fix non-MC builds
---

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)