enableTimingStats():
bring back -Rghc-timing output when compiled with >= 4.11
(was >= 5.05, which looks unnecessarily restrictive.)
void
enableTimingStats( void ) /* called from the driver */
{
void
enableTimingStats( void ) /* called from the driver */
{
-#if __GLASGOW_HASKELL__ >= 505
+#if __GLASGOW_HASKELL__ >= 411
RtsFlags.GcFlags.giveStats = ONELINE_GC_STATS;
#endif
/* ignored when bootstrapping with an older GHC */
RtsFlags.GcFlags.giveStats = ONELINE_GC_STATS;
#endif
/* ignored when bootstrapping with an older GHC */