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 6873353..0fe4f77 100644 (file)
--- a/src/xbt/backtrace_dummy.c
+++ b/src/xbt/backtrace_dummy.c
@@ -1,5 +1,3 @@
-/* $Id: ex_interface.h 3782 2007-07-14 09:11:06Z mquinson $ */
-
 /* backtrace_dummy -- stubs of this module for non-supported archs          */
 
 /* Copyright (c) 2008, 2009, 2010. The SimGrid Team.
@@ -29,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;
+}