From 277a8b65805aceeefc1764947616430994e05bdf Mon Sep 17 00:00:00 2001
From: Josh Haberman <jhaberman@gmail.com>
Date: Fri, 9 Dec 2016 16:13:18 -0800
Subject: generate_changelog.py: flush output so piping works correctly.

---
 generate_changelog.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/generate_changelog.py b/generate_changelog.py
index d7575d46..d90a9b70 100755
--- a/generate_changelog.py
+++ b/generate_changelog.py
@@ -57,6 +57,7 @@ previous = sys.argv[1]
 
 for language in languages:
   print(language.name)
+  sys.stdout.flush()
   os.system(("git log --pretty=oneline --abbrev-commit %s...HEAD %s | " +
              "sed -e 's/^/ - /'") % (previous, " ".join(language.pathspec)))
   print("")
-- 
cgit v1.2.3