path: root/.ci/
diff options
authorStefan Schmidt <>2019-06-25 12:11:33 -0400
committerMike Blumenkrantz <>2019-06-25 12:11:33 -0400
commit4f0989f2904c20ad2768b8244190b82b701c0564 (patch)
tree214791646acc23c2c0b87452882d155a1351ada6 /.ci/
parent8103b5687479385b3b2ba0fe5eddb9e6ce6b50c4 (diff)
ci: travis: add coverity build job to be run from cron
Summary: We finally have regular Coverity Scan runs back to our CI. It gets triggered from the cron jobs on Travis. As we are not able to identify if it comes from a daily or weekly cron build I added a check to only run the scan build on a Saturday so we should have a nice and fresh report on Monday morning in our mailboxes. Reviewers: zmike, bu5hm4n Reviewed By: zmike Subscribers: cedric, #reviewers, #committers Tags: #efl Differential Revision:
Diffstat (limited to '.ci/')
1 files changed, 10 insertions, 1 deletions
diff --git a/.ci/ b/.ci/
index 0e955bc4a7..70b56490cc 100755
--- a/.ci/
+++ b/.ci/
@@ -7,7 +7,16 @@ if [ "$1" = "release-ready" ] ; then
7fi 7fi
8travis_fold ninja ninja 8travis_fold ninja ninja
9if [ "$DISTRO" != "" ] ; then 9if [ "$DISTRO" != "" ] ; then
10 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build 10 if [ "$1" = "coverity" ] ; then
11 if [ $(date +%A) != "Saturday" ]; then
12 exit 0
13 fi
14 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"
15 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int"
16 docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/"
17 else
18 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build
19 fi
11else 20else
12 export PATH="$(brew --prefix gettext)/bin:$PATH" 21 export PATH="$(brew --prefix gettext)/bin:$PATH"
13 ninja -C build 22 ninja -C build