[ros-users] catkin_make convenience improvements

Dirk Thomas dthomas at willowgarage.com
Wed Jan 30 22:26:48 UTC 2013

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

More information about the ros-users mailing list