catkin屏蔽掉不想编译的package

事情是这样的：

workspace/src下有多个package包，有时候只想不编译某个package。

可以在不想被编译的package目录下新建了CATKIN_IGNORE的文件，不用写任何东东。

返回到workspace目录下后执行catkin_make就不会编译带有CATKIN_IGNORE的package。