From 277a8b65805aceeefc1764947616430994e05bdf Mon Sep 17 00:00:00 2001 From: Josh Haberman Date: Fri, 9 Dec 2016 16:13:18 -0800 Subject: [PATCH] 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 d7575d46c7..d90a9b7043 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("")