Delete node binaries

asked 2018-03-04 21:38:10 -0500

andrestoga
173 ●29 ●34 ●44 http://www.andrestoga.com/

Hi,

I wonder if it is possible to delete the binary files of a particular node from a workspace because I want to replace its source file with another one of the same name and generate a new binary file from the new source file. If I just replace the source file, it won't generate a new binary file when I do catkin_make. Right now, I'm deleting the devel and build folders to delete all the binary files.

Best,

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2018-03-05 01:12:40 -0500

gvdhoorn
86111 ●279 ●1419 ●1051 http://cor.tudelft.nl/

Replacing the source should work, as make should detect that it has changed and then proceed to build the new binary. If that doesn't work then that would be considered a bug.

As to the binaries themselves: they are located in $CATKIN_WS/devel/lib.

edit flag offensive delete link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2018-03-04 21:38:10 -0500

Seen: 826 times

Last updated: Mar 04 '18

Delete node binaries edit

1 Answer