diff options
Diffstat (limited to '.ci/ci-make.sh')
| -rwxr-xr-x | .ci/ci-make.sh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh index 0e955bc4a7..70b56490cc 100755 --- a/.ci/ci-make.sh +++ b/.ci/ci-make.sh @@ -7,7 +7,16 @@ if [ "$1" = "release-ready" ] ; then fi travis_fold ninja ninja if [ "$DISTRO" != "" ] ; then - docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build + if [ "$1" = "coverity" ] ; then + if [ $(date +%A) != "Saturday" ]; then + exit 0 + fi + 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" + else + docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build + fi else export PATH="$(brew --prefix gettext)/bin:$PATH" ninja -C build |