Merge branch 'master' into develop

This commit is contained in:
Richard van der Hoff 2018-12-20 16:56:48 +00:00
commit 5dd9a381c5

View file

@ -14,7 +14,14 @@ set -ex
cd `dirname $0` cd `dirname $0`
if [ $# -lt 1 ]; then if [ $# -lt 1 ]; then
DISTS=(debian:stretch debian:sid ubuntu:xenial ubuntu:bionic ubuntu:cosmic) DISTS=(
debian:stretch
debian:buster
debian:sid
ubuntu:xenial
ubuntu:bionic
ubuntu:cosmic
)
else else
DISTS=("$@") DISTS=("$@")
fi fi