splint'able

[simgrid.git] / src / portable.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