From ab8f496043234b27bb613ad7503a971a54560774 Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Wed, 20 Jan 2016 00:34:21 +0100
Subject: [PATCH] Don't tell the user to use an option his simgrid soes not
 support (but tease him).

Signed-off-by: degomme <augustin.degomme@unibas.ch>
---
 src/simix/smx_global.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 7721908bc8..8ffbde11d7 100644
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -101,8 +101,13 @@ static void _XBT_CALL segvhandler(int signum, siginfo_t *siginfo, void *context)
     fprintf(stderr, "Segmentation fault.\n");
 #ifdef HAVE_SMPI
     if (smpi_enabled() && !smpi_privatize_global_variables) {
+#ifdef HAVE_PRIVATIZATION
       fprintf(stderr,
         "Try to enable SMPI variable privatization with --cfg=smpi/privatize_global_variables:yes.\n");
+#else
+      fprintf(stderr,
+        "Sadly, your system does not support --cfg=smpi/privatize_global_variables:yes (yet).\n");
+#endif
     }
 #endif
   }
-- 
2.20.1