From 2e10b17c8e2bc6929d48757b45deda18cd85df00 Mon Sep 17 00:00:00 2001 From: buffet Date: Tue, 6 Nov 2018 21:34:14 +0100 Subject: [PATCH] Flush after warnings and dies --- src/common.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/common.c b/src/common.c index e25ff31..2da1e6f 100644 --- a/src/common.c +++ b/src/common.c @@ -22,6 +22,7 @@ die(char *fmt, ...) va_start(ap, fmt); vfprintf(stderr, fmt, ap); va_end(ap); + fflush(stderr); exit(EXIT_FAILURE); } @@ -33,4 +34,5 @@ warn(char *fmt, ...) va_start(ap, fmt); vfprintf(stderr, fmt, ap); va_end(ap); + fflush(stderr); }