From 510be5c9a4e5e6114c20f05cb4edb180ec2e9f9c Mon Sep 17 00:00:00 2001
From: Con Kolivas <kernel@kolivas.org>
Date: Fri, 12 Aug 2011 22:08:27 +1000
Subject: [PATCH] Summary on exit is sometimes getting lost without a flush of
 stdout.

---
 main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main.c b/main.c
index d0f9c7c6..60404a23 100644
--- a/main.c
+++ b/main.c
@@ -3637,6 +3637,7 @@ static void print_summary(void)
 			print_status(i);
 	}
 	printf("\n");
+	fflush(stdout);
 }
 
 void quit(int status, const char *format, ...)