Commit 4a2013c2 authored by Simon Marlow's avatar Simon Marlow

Make appendToRunQueue EXTERN_INLINE rather than INLINE_HEADER

Fixes compilation with gcc 4.4
parent ee9c47f2
......@@ -4,3 +4,4 @@
#define KEEP_INLINES
#include "PosixSource.h"
#include "Rts.h"
#include "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);
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment