commit | 68948f7a6828061322a1af4e9da6d6b868daf0dc | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Nov 16 20:15:16 2002 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Nov 16 20:15:16 2002 +0000 |
tree | ef139d6c393ccdae5ccfcb73abd8a07078c65747 | |
parent | 37091fb739760631f436043c47de612cf9fd2dd1 [diff] |
A bit more flushing of stdout, so that "valgrind-listener | tee logfile" isn't so mysterious. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1321 a5019735-40e9-0310-863c-91ae7b9d1cf9