added test instrumentation

cmu-mars · Jun 19, 2018 · 9a0513a · 9a0513a
1 parent e0d567e
commit 9a0513a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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