allocate enough room for the longer filename (addendum to #4512)

diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c
index 71b3484..fec34b9 100644 (file)
--- a/rts/eventlog/EventLog.c
+++ b/rts/eventlog/EventLog.c
@@ -174,7 +174,9 @@ initEventLogging(void)
     StgWord8 t, c;
     nat n_caps;
 
     StgWord8 t, c;
     nat n_caps;
 

-    event_log_filename = stgMallocBytes(strlen(prog_name) + 10,
+    event_log_filename = stgMallocBytes(strlen(prog_name)
+                                        + 10 /* .%d */
+                                        + 10 /* .eventlog */,

                                         "initEventLogging");
 
     if (sizeof(EventDesc) / sizeof(char*) != NUM_EVENT_TAGS) {
                                         "initEventLogging");
 
     if (sizeof(EventDesc) / sizeof(char*) != NUM_EVENT_TAGS) {