One of the operational differences between using catkin_make and catkin build is that the .catkin files and ROS_PACKAGE_PATH generated by catkin build list each individual source package. Do they all need to be listed or could the source space just be listed?
Related to #221
One of the operational differences between using
catkin_makeandcatkin buildis that the.catkinfiles andROS_PACKAGE_PATHgenerated bycatkin buildlist each individual source package. Do they all need to be listed or could the source space just be listed?Related to #221