On 30.01.2013 14:13, Jonathan Bohren wrote: > > Also it's worth noting that the current version catkin_make ignores the "--devel" argument. As I wrote: that is an argument which we do NOT support for the mentioned reasons. - Dirk