diff options
| author | Stefan Schmidt <s.schmidt@samsung.com> | 2020-05-27 10:01:31 +0200 |
|---|---|---|
| committer | Stefan Schmidt <s.schmidt@samsung.com> | 2020-05-27 10:01:31 +0200 |
| commit | 450e63b17ca6a2d2eaf5f40a9dd90d8cb86246ca (patch) | |
| tree | a61e27f02974d236f21d1f78234981348d4c3a83 | |
| parent | ecde07c2438c6795ac625369d5d2d791dea197ab (diff) | |
| download | efl-devs/stefan/travis-distro-updates.tar.gz | |
| -rwxr-xr-x | .ci/ci-make.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh index 1868203c04..0858087296 100755 --- a/.ci/ci-make.sh +++ b/.ci/ci-make.sh @@ -15,11 +15,9 @@ 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 "cat /proc/cmdline || true" - docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "uname -a || true" 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 $(cat $HOME/cid) sh -c "cat /src/cov-int/build-log.txt" #docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh" else docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build |