From 4a2013c2e05eb07380938569a196e08eba7c5226 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 8 Oct 2009 12:05:27 +0000 Subject: [PATCH] Make appendToRunQueue EXTERN_INLINE rather than INLINE_HEADER Fixes compilation with gcc 4.4 --- rts/Inlines.c | 1 + rts/Schedule.h | 5 ++++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/rts/Inlines.c b/rts/Inlines.c index 88cbdd2..fa521e4 100644 --- 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 --- 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); -- 1.7.10.4