summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2020-05-26 17:18:29 +0200
committerStefan Schmidt <s.schmidt@samsung.com>2020-05-26 17:18:29 +0200
commit632ad30fda6af9a5a2fdc399aeed0b67bc2599bc (patch)
treeb43188d4ee32f92ee9929b0f4038551493ac2fdb
parent170c0c08110c34a7eb8f646281b63c3bef6ff08f (diff)
ci: travis: move coverity build to Fedora 32
This involves a workaround for newer kernels to run the binaries.
-rwxr-xr-x.ci/ci-make.sh2
-rw-r--r--.travis.yml2
2 files changed, 3 insertions, 1 deletions
diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh
index 9d0574a5cf..bc07d735bf 100755
--- a/.ci/ci-make.sh
+++ b/.ci/ci-make.sh
@@ -15,6 +15,8 @@ fi
15 15
16if [ "$DISTRO" != "" ] ; then 16if [ "$DISTRO" != "" ] ; then
17 if [ "$1" = "coverity" ] ; then 17 if [ "$1" = "coverity" ] ; then
18 # Needed on 4.8 or newer Kernel to allow running cov tools
19 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "sysctl vsyscall=emulate"
18 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" 20 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"
19 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int" 21 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int"
20 docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh" 22 docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh"
diff --git a/.travis.yml b/.travis.yml
index b55d74e047..751ff9f6c4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -71,7 +71,7 @@ jobs:
71 env: DISTRO=Debian103 71 env: DISTRO=Debian103
72 - os: linux 72 - os: linux
73 if: type = cron 73 if: type = cron
74 env: DISTRO=Fedora31 CI_BUILD_TYPE=coverity 74 env: DISTRO=Fedora32 CI_BUILD_TYPE=coverity
75 - os: linux 75 - os: linux
76 if: type = cron 76 if: type = cron
77 env: DISTRO=Fedora32 CI_BUILD_TYPE=asan 77 env: DISTRO=Fedora32 CI_BUILD_TYPE=asan