X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/07c319ec54d6fc778ee3cc5e75a747242006723e..e31e332f11dddd81ec3add2bb8aa06535da22c03:/src/xbt/ex.c

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index cd6d584573..1b141a4d9b 100644
--- a/src/xbt/ex.c
+++ b/src/xbt/ex.c
@@ -153,6 +153,10 @@ void xbt_ex_display(xbt_ex_t * e)
   {
     int i;
 
+    if (!xbt_binary_name) {
+      fprintf(stderr, "variable 'xbt_binary_name' set to NULL. Cannot compute the backtrace\n");
+      return;
+    }
     fprintf(stderr, "\n");
     for (i = 0; i < e->used; i++)
       fprintf(stderr, "%s\n", e->bt_strings[i]);