Summary on exit is sometimes getting lost without a flush of stdout.
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, ...)