]> rtime.felk.cvut.cz Git - jailhouse.git/commit
ci: Select single configuration for Coverity scan via branch name
authorJan Kiszka <jan.kiszka@siemens.com>
Fri, 6 Feb 2015 20:08:48 +0000 (21:08 +0100)
committerJan Kiszka <jan.kiszka@siemens.com>
Sat, 7 Feb 2015 09:17:15 +0000 (10:17 +0100)
commit3d6eed01d9eb8ac34cd2604baa9755100b72f1d8
tree705c8bfac233c91fbd9a7d22527919d093d015c2
parent601ebb6780c6bc398b4faae26bebb179320c2061
ci: Select single configuration for Coverity scan via branch name

As scan results of generic files are overwritten with the last
configuration build, allow to pick a specific config for stand-alone
analysis. This comes at the price of overwriting results on the project
page but is still better than missing something subtle.

To differentiate the snapshot in Coverity, patch the description that is
attached to the upload.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
.travis.yml
ci/build-all-configs.sh
ci/coverity-scan-build.sh