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

ghc · Apr 1, 2010 · 79957d7 · 79957d7
1 parent f24b406
commit 79957d7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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);