Make appendToRunQueue EXTERN_INLINE rather than INLINE_HEADER
authorSimon Marlow <marlowsd@gmail.com>
Thu, 8 Oct 2009 12:05:27 +0000 (12:05 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 8 Oct 2009 12:05:27 +0000 (12:05 +0000)
commit4a2013c2e05eb07380938569a196e08eba7c5226
tree050a3abca4e37915af0364badf38770c52077603
parentee9c47f20f7500a54101159c19db99a34f0a441a
Make appendToRunQueue EXTERN_INLINE rather than INLINE_HEADER
Fixes compilation with gcc 4.4
rts/Inlines.c
rts/Schedule.h