[PATCH] debug: Print header when logging to stdout

[Christof Schmitt]

On Thu, Dec 11, 2014 at 03:44:48PM -0700, Christof Schmitt wrote:
> On Tue, Dec 09, 2014 at 09:26:26AM -0700, Christof Schmitt wrote:
> > On Tue, Dec 09, 2014 at 05:23:54PM +0100, Michael Adam wrote:
> > > reviewed-by me.
> > > 
> > > Has noone pushed it or have there been problems with autobuild?
> > > I will try to autobuild/push later.
> > > 
> > > Michael
> > 
> > Thanks. I was waiting for comments for others, and also got distracted
> > with other work. It seems like the majority opinion is to go forward
> > with this change. If this change uncovers problems with autobuild, we
> > need to address those. Feel free to push.
> 
> I just pushed the patch to autobuild.

It failed autobuild, there seem to be some dependencies on the output on
stdout. I will try to look into this, time permitting.

Christof