ci: Select single configuration for Coverity scan via branch name

[jailhouse.git] / ci / build-all-configs.sh

diff --git a/ci/build-all-configs.sh b/ci/build-all-configs.sh
index 8c5ca6e5bbd35b969a279caf5543d2ffb0233949..92207d7f14170bda0fad26870569b8681cf2b45e 100755 (executable)
--- a/ci/build-all-configs.sh
+++ b/ci/build-all-configs.sh
@@ -13,6 +13,11 @@
 
 CONFIGS="x86 banana-pi vexpress"
 
+# only build a specific config if the branch selects it
+if [ ${TRAVIS_BRANCH#coverity_scan-} != ${TRAVIS_BRANCH} ]; then
+       CONFIGS=${TRAVIS_BRANCH#coverity_scan-}
+fi
+
 PREFIX=
 if [ "$1" == "--cov" ]; then
        export COVERITY_UNSUPPORTED=1