ros-infrastructure/jenkins_scripts — pull request #33 by dirk-thomas (2013-04-25 00:19:47+00:00)
Title: enable prereleases for non-catkin build types

perform catkin_make_isolated on list of repos, depends_on must be catkin-only - else error out as early as possible.

@wjwwood Please review