X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c864f7396a94658545769fb9c28e9ff7cef02530..d2241d1702d04aa015b098e43d5ebe85071aee69:/src/mc/checker/simgrid_mc.cpp

diff --git a/src/mc/checker/simgrid_mc.cpp b/src/mc/checker/simgrid_mc.cpp
index f7b5a613da..b3341496a4 100644
--- a/src/mc/checker/simgrid_mc.cpp
+++ b/src/mc/checker/simgrid_mc.cpp
@@ -47,7 +47,9 @@ int main(int argc, char** argv)
   // value to the model-checked:
   char** argv_copy = argvdup(argc, argv);
   xbt_log_init(&argc, argv);
+#ifdef HAVE_SMPI
   smpi_init_options();//only performed once
+#endif
   sg_config_init(&argc, argv);
   simgrid::mc::session = new simgrid::mc::Session([argv_copy] { execvp(argv_copy[1], argv_copy + 1); });
   delete[] argv_copy;