]> rtime.felk.cvut.cz Git - jailhouse.git/commit
ci: Include all configurations in Coverity scan
authorJan Kiszka <jan.kiszka@siemens.com>
Fri, 6 Feb 2015 13:08:56 +0000 (14:08 +0100)
committerJan Kiszka <jan.kiszka@siemens.com>
Sat, 7 Feb 2015 09:16:51 +0000 (10:16 +0100)
commit601ebb6780c6bc398b4faae26bebb179320c2061
treed063b39baa502bd73d74cdba1d20108e83236f88
parentc7fff1ad6fea3c58e3d65709f382ebb4236c9fe3
ci: Include all configurations in Coverity scan

Coverity only provides us as OSS project a single "stream", thus a
single configuration for our project. But we already have 3. However,
we can accumulate results to a certain degree with some tricks: We have
to ensure that the intermediate "make clean" runs are not tracked by
cov-build, the build tracker of Coverity.

That's why we overload the default scan-build script of Travis CI and
Coverity, obtain the original one from our script, patch that version
to run our build script in a way that we have control over what gets
tracked and what not. Nasty, but seems to work sufficiently for now.

In addition, we need to register the ARM cross-compiler via
cov-configure.

At this chance: "description" is no longer used by Coverity - drop it.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
.travis.yml
ci/build-all-configs.sh
ci/coverity-scan-build.sh [new file with mode: 0644]