diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2016-12-16 16:17:13 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2016-12-16 16:17:13 +0000 |
| commit | 36820ce9ceb3c37c3e9c8f1bdd0ca04da730deb4 (patch) | |
| tree | fe4ebb309e1021cfe21454c92a7a8db252fcb897 /scripts/build-many-glibcs.py | |
| parent | b224637928e9fc04e3cef3e10d02ccf042d01584 (diff) | |
| download | glibc-36820ce9ceb3c37c3e9c8f1bdd0ca04da730deb4.zip glibc-36820ce9ceb3c37c3e9c8f1bdd0ca04da730deb4.tar.gz glibc-36820ce9ceb3c37c3e9c8f1bdd0ca04da730deb4.tar.bz2 | |
Make build-many-glibcs.py flush stdout before execv.
When build-many-glibcs.py re-execs itself with execv, any buffered
output on stdout may be lost (in particular, messages intended to go
to a bot's log about the re-exec taking place). This patch makes it
flush stdout before execv, similar to the flush before running a
subprocess from the bot that is done to ensure output appears in the
right order.
* scripts/build-many-glibcs.py (Context.exec_self): Flush stdout
before calling execv.
Diffstat (limited to 'scripts/build-many-glibcs.py')
| -rwxr-xr-x | scripts/build-many-glibcs.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index a5f7119..9401709 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -93,6 +93,7 @@ class Context(object): def exec_self(self): """Re-execute this script with the same arguments.""" + sys.stdout.flush() os.execv(sys.executable, [sys.executable] + sys.argv) def get_build_triplet(self): |