Commit 510be5c9a4e5e6114c20f05cb4edb180ec2e9f9c

Con Kolivas 2011-08-12T22:08:27

Summary on exit is sometimes getting lost without a flush of stdout.

1
2
3
4
5
6
7
8
9
10
11
12
diff --git a/main.c b/main.c
index d0f9c7c..60404a2 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, ...)