[ros-diffs] [jgardou] 49327: [CMAKE] - add spider and winmine to build