From 9a0513a6cc17dbc8c6703f3b46a2800df5b7f159 Mon Sep 17 00:00:00 2001
From: ChrisTimperley <christimperley@googlemail.com>
Date: Mon, 18 Jun 2018 20:55:11 -0400
Subject: [PATCH] added test instrumentation

---
 Dockerfile.instrumentation | 5 +++++
 1 file changed, 5 insertions(+)

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