diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh index bc07d735bf..b90463e195 100755 --- a/.ci/ci-make.sh +++ b/.ci/ci-make.sh @@ -19,7 +19,7 @@ if [ "$DISTRO" != "" ] ; then 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" +#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 fi diff --git a/.travis.yml b/.travis.yml index 751ff9f6c4..068f1b6af7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -70,7 +70,6 @@ jobs: if: type = cron env: DISTRO=Debian103 - os: linux - if: type = cron env: DISTRO=Fedora32 CI_BUILD_TYPE=coverity - os: linux if: type = cron