Index: tools/valgrind/common.py |
=================================================================== |
--- tools/valgrind/common.py (revision 202543) |
+++ tools/valgrind/common.py (working copy) |
@@ -55,6 +55,8 @@ |
if timeout > 0: |
wait_until = time.time() + timeout |
while p.poll() is None and not did_timeout: |
+ # Have to use readline rather than readlines() or "for line in p.stdout:", |
+ # otherwise we get buffered even with bufsize=0. |
line = p.stdout.readline() |
while line and not did_timeout: |
sys.stdout.write(line) |