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 fd744d3..3ab0dbc 100644 (file)
--- 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[]);
 
   /** @brief A context function */
   typedef int(*xbt_context_function_t)(int argc, char *argv[]);
 

-/*@}*/
+/* @}*/

 
 void xbt_context_init(void);
 void xbt_context_exit(void);
 
 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);
 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 */
 #endif                         /* _XBT_CONTEXT_H */

diff --git a/src/portable.h b/src/portable.h
index 5534f4f..0c56508 100644 (file)
--- a/src/portable.h
+++ b/src/portable.h
@@ -122,7 +122,9 @@ const char *gras_wsa_err2string(int errcode);
  ****/
 
 #ifdef HAVE_UCONTEXT_H
  ****/
 
 #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
 #else
 #  include "xbt/context_win32.h" /* Manual reimplementation for prehistoric platforms */
 #endif