ros-industrial/jenkins_config — pull request #18 by jrgnicho (2014-01-06 22:07:39+00:00)
Title: Issue #17 setup file

The latest changes make it possible to create and build jenkins jobs for different versions of the ros system. However, the following guidelines must be kept in mind:

Before merge:
- Install new ros version and other especial features (moveit, etc ..) in the server that runs the jenkins system.

After merge
- Do not mix repos for different ros system versions in the same workspace file
- From now on, all workspace files must contain a " setup-flle" item which points to the setup.bash script for the version of ros corresponding to the repos listed elsewhere in this file