Make appendToRunQueue EXTERN_INLINE rather than INLINE_HEADER

Fixes compilation with gcc 4.4

diff --git a/rts/Inlines.c b/rts/Inlines.c
index 88cbdd2..fa521e4 100644 (file)
--- a/rts/Inlines.c
+++ b/rts/Inlines.c
@@ -4,3 +4,4 @@
 #define KEEP_INLINES
 #include "PosixSource.h"
 #include "Rts.h"
+#include "Schedule.h"

diff --git a/rts/Schedule.h b/rts/Schedule.h
index 2dd4acd..5f669b3 100644 (file)
--- a/rts/Schedule.h
+++ b/rts/Schedule.h
@@ -126,7 +126,10 @@ void performPendingThrowTos (StgTSO *);
  * NOTE: tso->link should be END_TSO_QUEUE before calling this macro.
  * ASSUMES: cap->running_task is the current task.
  */
-INLINE_HEADER void
+EXTERN_INLINE void
+appendToRunQueue (Capability *cap, StgTSO *tso);
+
+EXTERN_INLINE void
 appendToRunQueue (Capability *cap, StgTSO *tso)
 {
     ASSERT(tso->_link == END_TSO_QUEUE);