ros-infrastructure / jenkins_scripts

Scripts used on the build farm
5 stars 9 forks source link

only install packages not yet installed #72

Closed dirk-thomas closed 10 years ago

dirk-thomas commented 10 years ago

This way it is possible to run the devel script with the --no-chroot option without requiring sudo - at least if all dependencies are already there.

@tfoote Please review.

tfoote commented 10 years ago

This will work. If we were to use the rosdep API instead of a custom one it would auto shortcut too.