|
From: Florian K. <br...@ac...> - 2013-04-18 11:56:28
|
On 04/18/2013 07:52 AM, sv...@va... wrote: > sewardj 2013-04-18 12:52:19 +0100 (Thu, 18 Apr 2013) > > New Revision: 13372 > > Log: > Non-functional changes: flush stdout frequently, so as to make > it easier to sync with stderr output. setbuf(stdout, NULL) at the beginning of main.... Will make stdout unbuffered, so should sync nicely with stderr. Florian |