Commit Graph

2 Commits (ed418405b5fea6cda98ac602e794511e4e64f0c9)

Author SHA1 Message Date
Michael Grupp 8fab3fe4c4 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.
2018-10-04 11:15:21 +02:00
Christoph Schütte 00813a4d6b Introduce base image for melodic to speed up CI (#1021) 2018-09-26 11:16:45 +02:00