diff options
Diffstat (limited to 'rts/eventlog/EventLog.c')
| -rw-r--r-- | rts/eventlog/EventLog.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c index ba374a71a5..ddd2cc02df 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -1667,6 +1667,8 @@ void flushEventLog(Capability **cap USED_IF_THREADS) stopAllCapabilitiesWith(cap, task, SYNC_FLUSH_EVENT_LOG); flushAllCapsEventsBufs(); releaseAllCapabilities(n_capabilities, cap ? *cap : NULL, task); +#else + flushLocalEventsBuf(capabilities[0]); #endif flushEventLogWriter(); } |