rundiff: flush stdout after each diff
authorSteve Reinhardt <steve.reinhardt@amd.com>
Tue, 21 Apr 2009 18:34:26 +0000 (11:34 -0700)
committerSteve Reinhardt <steve.reinhardt@amd.com>
Tue, 21 Apr 2009 18:34:26 +0000 (11:34 -0700)
commit4f7d6a881ce959663cb32f9bb70b4a6b40a456e1
treec3b06666964ded6c7c5a2f963936a2e56e134776
parentc370a9cb9884f54a54450c9073555ed53ecdbacc
rundiff: flush stdout after each diff
util/rundiff