Apply "smpi/buffering" when MC_record_replay_is_active too.

[simgrid.git] / src / smpi / internals / smpi_config.cpp

diff --git a/src/smpi/internals/smpi_config.cpp b/src/smpi/internals/smpi_config.cpp
index 4fe4b7a..614a00e 100644 (file)
--- a/src/smpi/internals/smpi_config.cpp
+++ b/src/smpi/internals/smpi_config.cpp
@@ -21,11 +21,11 @@
   #undef _GNU_SOURCE
 #endif
 
-#include "include/xbt/config.hpp"
 #include "private.hpp"
 #include "smpi_coll.hpp"
 #include "smpi_config.hpp"
 #include "src/mc/mc.h"
+#include "xbt/config.hpp"
 #include "xbt/ex.h"
 #include "xbt/parse_units.hpp"
 
@@ -35,6 +35,7 @@
 
 #if SIMGRID_HAVE_MC
 #include "src/mc/mc_config.hpp"
+#include "src/mc/mc_replay.hpp"
 #endif
 
 #if defined(__APPLE__)
@@ -308,7 +309,7 @@ void smpi_init_options_internal(bool called_by_smpi_main)
 void smpi_check_options()
 {
 #if SIMGRID_HAVE_MC
-  if (MC_is_active()) {
+  if (MC_is_active() || MC_record_replay_is_active()) {
     if (_sg_mc_buffering == "zero")
       simgrid::config::set_value<int>("smpi/send-is-detached-thresh", 0);
     else if (_sg_mc_buffering == "infty")