From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 1 Apr 2010 11:45:59 +0000 (+0000)
Subject: Fix warnings (allow pushOnRunQueue() to not be inlined)
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=79957d77c1bff767f1041d3fabdeb94d92a52878;ds=sidebyside

Fix warnings (allow pushOnRunQueue() to not be inlined)
---

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);