From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sun, 27 Feb 2005 23:28:22 +0000 (+0000)
Subject: splint'able
X-Git-Tag: v3.3~4265
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/25d577cd1732a672eb06cb4f24c5b9eacd2df5d0?hp=823d34beebb36450fa3074133e498b21b3d53f02;ds=sidebyside

splint'able


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1088 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

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 <ucontext.h>
+# ifndef S_SPLINT_S /* This header drives splint into the wall */
+#   include <ucontext.h>
+# endif 
 #else
 #  include "xbt/context_win32.h" /* Manual reimplementation for prehistoric platforms */
 #endif