From 43f5aa483faaf237121a30a49e59ce74e42e1acc Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 25 Jul 2015 11:37:33 +0200 Subject: [PATCH] Fix non-MC builds My implmentation of random for non-MC may be seen as a very partial :) But I'm affraid of breaking some tesh out there with a real random. --- src/mc/mc_base.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp index 521b96a08a..c24d0f2561 100644 --- a/src/mc/mc_base.cpp +++ b/src/mc/mc_base.cpp @@ -32,11 +32,15 @@ XBT_LOG_NEW_CATEGORY(mc, "All MC categories"); int MC_random(int min, int max) { +#ifdef HAVE_MC xbt_assert(mc_mode != MC_MODE_SERVER); /* TODO, if the MC is disabled we do not really need to make a simcall for * this :) */ /* FIXME: return mc_current_state->executed_transition->random.value; */ return simcall_mc_random(min, max); +#else + return min; +#endif } void MC_wait_for_requests(void) -- 2.20.1