diff --git a/Dockerfile.instrumentation b/Dockerfile.instrumentation index 1cedf9d..22123d2 100644 --- a/Dockerfile.instrumentation +++ b/Dockerfile.instrumentation @@ -11,3 +11,8 @@ RUN . /opt/ros/${ROS_DISTRO}/setup.sh \ -DCMAKE_CXX_FLAGS="--coverage" \ -DCMAKE_LD_FLAGS="--coverage" \ && catkin build +RUN catkin build \ + --continue-on-failure \ + --no-status \ + --make-args tests \ + || exit 0