search

ros-infrastructure / buildfarm

Build scripts and notes for catkin debian build pipeline.
6 stars 15 forks source link

Cache info files and use svn checkout instead of urlopen. #194

Closed tfoote closed 10 years ago

tfoote commented 10 years ago

workaround for ros/rosdistro#4062

@dirk-thomas for review

tfoote commented 10 years ago

@wjwwood

wjwwood commented 10 years ago

Otherwise +1