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
