Revision history [back]

I would recommend moving to use catkin build instead of catkin_make. catkin build has a lot more functionalities, and as mentioned in the migrating from catkin_make doc

Unlike catkin_make, the catkin command-line tool is not just a thin wrapper around a the cmake and make commands. The catkin build command builds each package in a workspace’s source space in isolation in order to prevent build-time cross-talk. As such, in its simplest use, catkin build behaves similarly to a parallelized version of catkin_make_isolated.

Note that a workspace cant use both catkin_make and catkin build simultaneously, only 1 of them at any one time. Then, in order to build a single package, you can use catkin build PKG_NAME.