From 79957d77c1bff767f1041d3fabdeb94d92a52878 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 1 Apr 2010 11:45:59 +0000 Subject: [PATCH] Fix warnings (allow pushOnRunQueue() to not be inlined) --- rts/Schedule.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/rts/Schedule.h b/rts/Schedule.h index 76138b6..2412285 100644 --- a/rts/Schedule.h +++ b/rts/Schedule.h @@ -137,7 +137,10 @@ appendToRunQueue (Capability *cap, StgTSO *tso) /* Push a thread on the beginning of the run queue. * ASSUMES: cap->running_task is the current task. */ -INLINE_HEADER void +EXTERN_INLINE void +pushOnRunQueue (Capability *cap, StgTSO *tso); + +EXTERN_INLINE void pushOnRunQueue (Capability *cap, StgTSO *tso) { setTSOLink(cap, tso, cap->run_queue_hd); -- 1.7.10.4