commit | 7d3d1e64f0fe5321318d941e6d213b98e822ce14 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Nov 03 23:27:40 2002 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Nov 03 23:27:40 2002 +0000 |
tree | b4136f2e07507652d0143e66beafe00ab01c57b9 | |
parent | 5ed7a39bc192d884a86a9df77f719324f8d7e3f9 [diff] |
Fix a buffering problem, so the output can sensibly be piped through /usr/bin/tee. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1276 a5019735-40e9-0310-863c-91ae7b9d1cf9