model-checker : get current backtrace with libunwind (only available with ucontext...

[simgrid.git] / src / xbt / backtrace_dummy.c

diff --git a/src/xbt/backtrace_dummy.c b/src/xbt/backtrace_dummy.c
index f10eb04..0fe4f77 100644 (file)
--- a/src/xbt/backtrace_dummy.c
+++ b/src/xbt/backtrace_dummy.c
@@ -27,3 +27,7 @@ void xbt_backtrace_current(xbt_ex_t * e)
 void xbt_ex_setup_backtrace(xbt_ex_t * e)
 {
 }
+
+int xbt_backtrace_no_malloc(void **array, int size) {
+  return 0;
+}