Work around wstool bug in build with Docker base image. (cartographer…

…-project#1041) We have already a cloned source space in the base image, which can be buggy according to: vcstools/wstool#77 This should unblock Travis and fix local builds.
wohe · Oct 4, 2018 · 8fab3fe · 8fab3fe
1 parent 829e2dc
commit 8fab3fe
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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