From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 16 Mar 2013 21:13:44 +0000 (+0100)
Subject: model-checker : fix compilation error without MC
X-Git-Tag: v3_9_90~435
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/00cd576021269f05e84dd36f3cee7afbfe90cede?ds=inline

model-checker : fix compilation error without MC
---

diff --git a/src/xbt/backtrace_linux.c b/src/xbt/backtrace_linux.c
index 81c62510b2..7ca189975a 100644
--- a/src/xbt/backtrace_linux.c
+++ b/src/xbt/backtrace_linux.c
@@ -12,7 +12,9 @@
 #include "xbt/str.h"
 #include "xbt/module.h"         /* xbt_binary_name */
 #include "xbt_modinter.h"       /* backtrace initialization headers */
+#ifdef HAVE_MC
 #include <libunwind.h>
+#endif
 /* end of "useless" inclusions */
 
 extern char **environ;          /* the environment, as specified by the opengroup */
@@ -367,6 +369,8 @@ void xbt_ex_setup_backtrace(xbt_ex_t * e) //FIXME: This code could be greatly im
   free(cmd);
 }
 
+#ifdef HAVE_MC
+
 int xbt_libunwind_backtrace(void* bt[XBT_BACKTRACE_SIZE], int size){
   
   int i = 0;
@@ -396,3 +400,5 @@ int xbt_libunwind_backtrace(void* bt[XBT_BACKTRACE_SIZE], int size){
   return i;
   
 }
+
+#endif