Revision history [back]

To be able to call catkin_make_isolated in the prerelease you need to have catkin as a buildtool_depend. It's a dependency of the prerelease toolchain but we don't want to inject this dependency from the toolchain since it would mask packages which fail to declare the dependency that need it. Prereleasing 3rdparty packages is kind of an edge case for our prerelease scripts. The debian build pipeline doesn't use catkin_make_isolated so it will release and build in the current state.