| commit | 277a8b65805aceeefc1764947616430994e05bdf | [log] [tgz] |
|---|---|---|
| author | Josh Haberman <jhaberman@gmail.com> | Fri Dec 09 16:13:18 2016 -0800 |
| committer | Josh Haberman <jhaberman@gmail.com> | Fri Dec 09 16:13:18 2016 -0800 |
| tree | 9d7b7b237cb86a150bdf56c4cd3507e09aab612e | |
| parent | 84948462a470c5433addc0494e6854be47ab5e4f [diff] [blame] |
generate_changelog.py: flush output so piping works correctly.
diff --git a/generate_changelog.py b/generate_changelog.py index d7575d4..d90a9b7 100755 --- a/generate_changelog.py +++ b/generate_changelog.py
@@ -57,6 +57,7 @@ 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("")