Remove old cruft

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

diff --git a/src/portable.h b/src/portable.h
index 235105b..bde3a5e 100644 (file)
--- a/src/portable.h
+++ b/src/portable.h
@@ -97,9 +97,7 @@
  ****/
 
 #ifdef USE_UCONTEXT
  ****/
 
 #ifdef USE_UCONTEXT

-# ifndef S_SPLINT_S /* This header drives splint into the wall */
-#   include <ucontext.h>
-# endif 
+# include <ucontext.h>

 #endif
 
 #ifdef _WIN32
 #endif
 
 #ifdef _WIN32

diff --git a/src/xbt/context_private.h b/src/xbt/context_private.h
index 3add76d..25133cf 100644 (file)
--- a/src/xbt/context_private.h
+++ b/src/xbt/context_private.h
@@ -21,17 +21,6 @@
 #include "xbt/context.h"
 #include "xbt/ex.h"
 
 #include "xbt/context.h"
 #include "xbt/ex.h"
 

-#ifdef S_SPLINT_S
-/* Dummy definition for splint since it chokes on ucontext.h */
-typedef struct ucontext {
-   struct ucontext *uc_link;
-   sigset_t uc_sigmask;
-   int uc_stack;
-   int uc_mcontext;
-} ucontext_t;
-typedef int CONTEXT;
-#endif 
-

 #ifdef USE_PTHREADS
 #  include <pthread.h>
 #else
 #ifdef USE_PTHREADS
 #  include <pthread.h>
 #else