Hello again,
it would be great to have some feedback on this - anyone? To re-summarize: - make does not color its output itself as of now - colorized output would help distincing output by make from output by programs involked by make, example at [1] - existing wrappers (like colormake [2]) have problems - There is a quickhack patch against make 3.82 at [3] - I am willing to keep working on that patch until you like it enough to apply it upstream - I don't know about your expectations on such a patch yet, but I need to know. Please get back to me on this. Thanks! Sebastian Pipping > [1] http://hartwork.org/public/make-with-color.png > [2] http://bre.klaki.net/programs/colormake/ > [3] http://hartwork.org/public/make-3.82-color-v1.patch _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make