1 files changed, 21 insertions, 0 deletions
diff --git a/rts/eventlog/EventLogWriter.c b/rts/eventlog/EventLogWriter.c
index 06aad2841e..daa6dc3c9d 100644
--- a/rts/eventlog/EventLogWriter.c
+++ b/rts/eventlog/EventLogWriter.c
@@ -147,9 +147,30 @@ stopEventLogFileWriter(void)
 #endif
 }
 
+static void
+initEventLogFileWriterNoop(void) {}
+
+static bool
+writeEventLogFileNoop(void *eventlog STG_UNUSED, size_t eventlog_size STG_UNUSED) {
+    return true; // writes succeed always
+}
+
+static void
+flushEventLogFileNoop(void) {}
+
+static void
+stopEventLogFileWriterNoop(void) {}
+
 const EventLogWriter FileEventLogWriter = {
     .initEventLogWriter = initEventLogFileWriter,
     .writeEventLog = writeEventLogFile,
     .flushEventLog = flushEventLogFile,
     .stopEventLogWriter = stopEventLogFileWriter
 };
+
+const EventLogWriter NullEventLogWriter = {
+    .initEventLogWriter = initEventLogFileWriterNoop,
+    .writeEventLog = writeEventLogFileNoop,
+    .flushEventLog = flushEventLogFileNoop,
+    .stopEventLogWriter = stopEventLogFileWriterNoop
+};