From 8fab3fe4c45fe7d0e30e49cc10779c4feccece89 Mon Sep 17 00:00:00 2001
From: Michael Grupp <grupp@magazino.eu>
Date: Thu, 4 Oct 2018 11:15:21 +0200
Subject: [PATCH] Work around wstool bug in build with Docker base image.
 (#1041)

We have already a cloned source space in the base image, which can be
buggy according to: https://github.com/vcstools/wstool/issues/77

This should unblock Travis and fix local builds.
---
 scripts/update_catkin_workspace.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/update_catkin_workspace.sh b/scripts/update_catkin_workspace.sh
index fa70f40..15807cd 100755
--- a/scripts/update_catkin_workspace.sh
+++ b/scripts/update_catkin_workspace.sh
@@ -20,4 +20,7 @@ set -o verbose
 . /opt/ros/${ROS_DISTRO}/setup.sh
 
 cd catkin_ws/src
+
+# Call 'status' as a workaround for https://github.com/vcstools/wstool/issues/77
+wstool status
 wstool update