sanitize the option smpi/shared-malloc, and improve its doc

[simgrid.git] / src / smpi / smpi_global.cpp

diff --git a/src/smpi/smpi_global.cpp b/src/smpi/smpi_global.cpp
index f6094d53e386aab54c913e9b7c9085beddb24ea9..3933638e8f590aaed5e7a6ba7ba3eccbe46df4aa 100644 (file)
--- a/src/smpi/smpi_global.cpp
+++ b/src/smpi/smpi_global.cpp
@@ -770,6 +770,7 @@ static void smpi_init_options(){
     smpi_privatize_global_variables = xbt_cfg_get_boolean("smpi/privatize-global-variables");
     if (smpi_cpu_threshold < 0)
       smpi_cpu_threshold = DBL_MAX;
+    smpi_cfg_shared_malloc = xbt_cfg_get_boolean("smpi/shared-malloc");
 }
 
 int smpi_main(int (*realmain) (int argc, char *argv[]), int argc, char *argv[])