On 10/06/15 04:17, Dave Yost wrote: > Hey, I love colors. But one of my users doesn’t. You could try the Ninja generator instead of Makefile. It much often faster, as verbose as necessary, and black'n'white. Thanks, Gregor