diff options
Diffstat (limited to 'source-builder/pkg-config')
| -rwxr-xr-x | source-builder/pkg-config | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/source-builder/pkg-config b/source-builder/pkg-config index d2afff0..a5dfba0 100755 --- a/source-builder/pkg-config +++ b/source-builder/pkg-config @@ -87,8 +87,9 @@ def log(s, lf = True): print(s, file = out) else: if out != sys.stdout and trace_stdout: - print(s, end = '', flush = True) - print(out, s, end = '', flush = True) + print(s, end = '') + sys.stdout.flush() + print(s, end = '', file = out) def run(argv): |