diff options
| author | Dan Halbert <halbert@halwitz.org> | 2018-12-05 16:18:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-05 16:18:55 -0500 |
| commit | ca3c9920375909245f4efed1de4b2c192dbbad3a (patch) | |
| tree | 6a41eab51366f328705fcaf97c3eab3d4361ba5d /tools | |
| parent | 56b71281b3637e817d8b15f98a0dc1f37b138094 (diff) | |
| parent | 58f230d63239a39b98aab7c1289bc1daccd59d43 (diff) | |
Merge pull request #1379 from dhalbert/flush-output-to-travis
make sure travis sees some output in time
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_release_files.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/build_release_files.py b/tools/build_release_files.py index b01d4b8ea..6bf418fe6 100755 --- a/tools/build_release_files.py +++ b/tools/build_release_files.py @@ -71,6 +71,7 @@ for board in build_boards: if travis: print('travis_fold:end:adafruit-bins-{}-{}\\r'.format(language, board)) - print() + # Flush so travis will see something before 10 minutes has passed. + print(flush=True) sys.exit(exit_status) |