this PR adds catkin build --no-make options for catkin build.
with this option, we can only run cmake and skip make commands during catkin build.
this option is useful when we use clang-tidy, because it only requires cmake.
for example, we can run catkin build --no-make and run clang-tidy like this.
this PR adds
catkin build --no-make
options forcatkin build
. with this option, we can only runcmake
and skipmake
commands duringcatkin build
.this option is useful when we use
clang-tidy
, because it only requirescmake
. for example, we can runcatkin build --no-make
and runclang-tidy
like this.sample