Flush log output after each line

Otherwise the output can be out of order when redirected.
Signed-off-by: Andrzej Kurek <andrzej.kurek@arm.com>
This commit is contained in:
Gilles Peskine 2019-01-29 18:42:55 +01:00 committed by Andrzej Kurek
parent b39e3ecee6
commit 46c8256547

View file

@ -31,6 +31,7 @@ import traceback
def log_line(text, prefix='depends.py'): def log_line(text, prefix='depends.py'):
"""Print a status message.""" """Print a status message."""
sys.stderr.write(prefix + ' ' + text + '\n') sys.stderr.write(prefix + ' ' + text + '\n')
sys.stderr.flush()
def backup_config(options): def backup_config(options):
"""Back up the library configuration file (config.h).""" """Back up the library configuration file (config.h)."""