qemu-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Qemu-devel] [PULL 00/35] Misc patches for 2018-12-18


From: Paolo Bonzini
Subject: Re: [Qemu-devel] [PULL 00/35] Misc patches for 2018-12-18
Date: Wed, 19 Dec 2018 16:05:58 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1

On 19/12/18 15:33, Peter Maydell wrote:
> PS: can the colorization be disabled? Grepping logfiles for
> ERROR, FAIL, etc doesn't work in the presence of colour
> escape sequences...

Oh interesting that it didn't grep fine for you, it seemed to be okay here.

I added it because "make -O" uses a pipe rather than tty, and causes
colors not to be applied.  I'm thinking of adding a --enable-color=FOO
instead, for now I'll disable it and send v2.

Paolo



reply via email to

[Prev in Thread] Current Thread [Next in Thread]