ci: travis: move coverity build to Fedora 32

This involves a workaround for newer kernels to run the binaries.
This commit is contained in:
Stefan Schmidt 2020-05-26 17:18:29 +02:00
parent 170c0c0811
commit 632ad30fda
2 changed files with 3 additions and 1 deletions

View File

@ -15,6 +15,8 @@ fi
if [ "$DISTRO" != "" ] ; then
if [ "$1" = "coverity" ] ; then
# Needed on 4.8 or newer Kernel to allow running cov tools
docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "sysctl vsyscall=emulate"
docker exec --env EIO_MONITOR_POLL=1 --env PATH="/src/cov-analysis-linux64-2019.03/bin:$PATH" $(cat $HOME/cid) sh -c "cov-build --dir cov-int ninja -C build"
docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int"
docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh"

View File

@ -71,7 +71,7 @@ jobs:
env: DISTRO=Debian103
- os: linux
if: type = cron
env: DISTRO=Fedora31 CI_BUILD_TYPE=coverity
env: DISTRO=Fedora32 CI_BUILD_TYPE=coverity
- os: linux
if: type = cron
env: DISTRO=Fedora32 CI_BUILD_TYPE=asan