[ci] Add a CI_TAGS option for building with monolite
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Wed, 3 Aug 2016 14:08:30 +0000 (16:08 +0200)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Fri, 5 Aug 2016 14:49:37 +0000 (16:49 +0200)
commit23fda516980e529e472a2863eb3535b76ad7b174
treedb35fa5be2ea5480455b69ae2e621a26c50dccca
parent34bc900fc78c990867a4395847ef2de49c1f2d0d
[ci] Add a CI_TAGS option for building with monolite

Also ensure that all the CI_TAGS check work with multiple values.
scripts/ci/run-jenkins.sh