Is there any meaningful difference between source-space
(only in catkin) and source-subdir
? Shouldn’t catkin just use source-subdir
in the same way it does for source-space
?
1 Like
Is there any meaningful difference between source-space
(only in catkin) and source-subdir
? Shouldn’t catkin just use source-subdir
in the same way it does for source-space
?