ros-industrial/jenkins_config — pull request #21 by jrgnicho (2014-02-03 23:38:48+00:00)
Title: added the 'catkin_make' command

Fixes issue #19 of skipping packages during the build
@shaun-edwards please review