Merge branch 'gawk-4.2-stable'

1 files changed, 2 insertions, 0 deletions

diff --git a/msg.c b/msg.c
index b4746988..20732bcd 100644
--- a/msg.c
+++ b/msg.c
@@ -101,6 +101,8 @@ err(bool isfatal, const char *s, const char *emsg, va_list argp)
 
 	if (isfatal) {
 #ifdef GAWKDEBUG
+		// GLIBC 2.27 doesn't necessarily flush on abort. Sigh.
+		fflush(NULL);
 		abort();
 #endif
 		gawk_exit(EXIT_FATAL);