ros/catkin — pull request #414 by dirk-thomas (2013-05-02 19:05:59+00:00)
Title: Cmi with catkin make args

@wjwwood Please review and merge.