diff options
| -rw-r--r-- | mjit_worker.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/mjit_worker.c b/mjit_worker.c index d0adf5d1fc..f1404b6aab 100644 --- a/mjit_worker.c +++ b/mjit_worker.c @@ -290,11 +290,17 @@ verbose(int level, const char *format, ...) { if (mjit_opts.verbose >= level) { va_list args; + size_t len = strlen(format); + char *full_format = alloca(sizeof(char) * (len + 2)); + + /* Creating `format + '\n'` to atomically print format and '\n'. */ + memcpy(full_format, format, len); + full_format[len] = '\n'; + full_format[len+1] = '\0'; va_start(args, format); - vfprintf(stderr, format, args); + vfprintf(stderr, full_format, args); va_end(args); - fprintf(stderr, "\n"); } } |