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