*/
#include "Rts.h"
-#include "RtsFlags.h"
#include "HsFFI.h"
RtsFlags.GcFlags.maxStkSize = 512*1024*1024 / sizeof(W_);
RtsFlags.GcFlags.giveStats = COLLECT_GC_STATS;
RtsFlags.GcFlags.statsFile = stderr;
+
+ // See #3408: the default idle GC time of 0.3s is too short on
+ // Windows where we receive console events once per second or so.
+ RtsFlags.GcFlags.idleGCDelayTime = 5*1000;
}
void