ros/catkin — pull request #273 by wjwwood (2012-12-06 07:08:26+00:00)
Title: Added color to catkin_make

Someone should get this code and give a whirl, looking for both problems and/or style changes.

@dirk-thomas