From 25d577cd1732a672eb06cb4f24c5b9eacd2df5d0 Mon Sep 17 00:00:00 2001 From: mquinson Date: Sun, 27 Feb 2005 23:28:22 +0000 Subject: [PATCH 1/1] splint'able git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1088 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- src/include/xbt/context.h | 4 ++-- src/portable.h | 4 +++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/src/include/xbt/context.h b/src/include/xbt/context.h index fd744d3b81..3ab0dbce97 100644 --- a/src/include/xbt/context.h +++ b/src/include/xbt/context.h @@ -29,7 +29,7 @@ /** @brief A context function */ typedef int(*xbt_context_function_t)(int argc, char *argv[]); -/*@}*/ +/* @}*/ void xbt_context_init(void); void xbt_context_exit(void); @@ -42,5 +42,5 @@ void xbt_context_free(xbt_context_t context); void xbt_context_start(xbt_context_t context); void xbt_context_yield(void); void xbt_context_schedule(xbt_context_t context); -/*@} */ +/* @} */ #endif /* _XBT_CONTEXT_H */ diff --git a/src/portable.h b/src/portable.h index 5534f4f72c..0c56508aec 100644 --- a/src/portable.h +++ b/src/portable.h @@ -122,7 +122,9 @@ const char *gras_wsa_err2string(int errcode); ****/ #ifdef HAVE_UCONTEXT_H -# include +# ifndef S_SPLINT_S /* This header drives splint into the wall */ +# include +# endif #else # include "xbt/context_win32.h" /* Manual reimplementation for prehistoric platforms */ #endif -- 2.20.1