generate_changelog.py: flush output so piping works correctly.

This commit is contained in:
Josh Haberman 2016-12-09 16:13:18 -08:00
parent 84948462a4
commit 277a8b6580

View File

@ -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("")