Merge branch 'dev'

This commit is contained in:
Kristian Haugene
2020-02-02 20:11:20 +01:00
57 changed files with 7586 additions and 4306 deletions

View File

@@ -193,6 +193,8 @@ commands:
if [ "<< parameters.distro >>" = "ubuntu" ]; then
TAG_DISTRO="";
if [ "<< parameters.distro >>" = "ubuntu" ]; then
TAG_DISTRO="";
else
TAG_DISTRO=-<< parameters.distro >>;
fi