Re: [ros-users] catkin_make convenience improvements

Top Page
Attachments:
Message as email
+ (text/plain)
Delete this message
Reply to this message
Author: User discussions
Date:  
To: User discussions
Subject: Re: [ros-users] catkin_make convenience improvements
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