Try auto-enabling colour output from make
David Dickinson
Branch: experimental/auto_colour_make_output
Branch: 8.1-RC
Merged
Merged pull request
Merged in experimental/auto_colour_make_output (pull request #464)
Merged in experimental/auto_colour_make_output (pull request #464)
Defaults
WITH_COLORto on unless make has detected that we’re redirecting output. This is the usual way colourised output tends to work, but not clear that people would want colour output to be on.