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 823f685..0fe4f77 100644 (file)
--- a/src/xbt/backtrace_dummy.c
+++ b/src/xbt/backtrace_dummy.c
@@ -1,8 +1,7 @@
-/* $Id: ex_interface.h 3782 2007-07-14 09:11:06Z mquinson $ */
-
 /* backtrace_dummy -- stubs of this module for non-supported archs          */
 
-/* Copyright (c) 2003-2008, Da SimGrid team. All rights reserved.           */
+/* Copyright (c) 2008, 2009, 2010. The SimGrid Team.
+ * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -11,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)
 {
 }
 
@@ -28,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;
+}