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 a4ba715..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.
@@ -12,11 +10,11 @@
 #include "xbt_modinter.h"
 
 /* Module creation/destruction */
-void xbt_backtrace_init(void)
+void xbt_backtrace_preinit(void)
 {
 }
 
-void xbt_backtrace_exit(void)
+void xbt_backtrace_postexit(void)
 {
 }
 
@@ -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;
+}