Ask Your Question
1

catkin_make clean [closed]

asked 2014-03-11 10:55:43 -0500

Is there a way to clean a certain package with catkin_make?

edit retag flag offensive reopen merge delete

Closed for the following reason the question is answered, right answer was accepted by Stopfer
close date 2015-06-26 02:38:04.508910

1 Answer

Sort by ยป oldest newest most voted
2

answered 2014-03-11 11:32:43 -0500

William gravatar image

The best way to do that is to delete the build folder for the package. Usually that is build/<package_name>. However, the package places generated files in the devel folder, and those are not as easily cleared out because they are mixed in with the generated files from other packages. The most sure fire way is to delete the devel folder and the build folder, but deleting just the build/<package_name> folder and the devel folder might still work and be faster.

edit flag offensive delete link more

Question Tools

Stats

Asked: 2014-03-11 10:55:43 -0500

Seen: 7,017 times

Last updated: Mar 11 '14