catkin build 를 catkin make 처럼 이용하는데 이걸 왜 쓰는걸까?
catkin build 가 catkin_make와 다른 점은
- 느낌만 보자면 조금 독립적인 활용인 셈
- 각각 따로 make 한다는 느낌
- catkin_make 는 workspace의 top level에서만 쓸 수 있지만 catkin build는 어느 directory에서나 이용할 수 있다.
- 독립된 패키지들을 병렬적으로 build할 수 있다.
- catkin clean을 이용하면 build/devel 을 깨끗이 청소할 수 있다.