Fix warnings (allow pushOnRunQueue() to not be inlined)
[ghc-hetmet.git] / rts / RtsOpts.h
2010-03-13 Ian LynaghAdd a link-time flag to en/disable the RTS options