diff options
| author | Stefan Schmidt <s.schmidt@samsung.com> | 2019-06-25 12:11:33 -0400 |
|---|---|---|
| committer | Mike Blumenkrantz <zmike@samsung.com> | 2019-06-25 12:11:33 -0400 |
| commit | 4f0989f2904c20ad2768b8244190b82b701c0564 (patch) | |
| tree | 214791646acc23c2c0b87452882d155a1351ada6 /.ci/ci-make-install.sh | |
| parent | 8103b5687479385b3b2ba0fe5eddb9e6ce6b50c4 (diff) | |
| download | efl-4f0989f2904c20ad2768b8244190b82b701c0564.tar.gz | |
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: https://phab.enlightenment.org/D9175
Diffstat (limited to '.ci/ci-make-install.sh')
| -rwxr-xr-x | .ci/ci-make-install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.ci/ci-make-install.sh b/.ci/ci-make-install.sh index 0984b06cb9..74769896c3 100755 --- a/.ci/ci-make-install.sh +++ b/.ci/ci-make-install.sh @@ -5,6 +5,9 @@ set -e if [ "$1" = "release-ready" ] ; then exit 0 fi +if [ "$1" = "coverity" ] ; then + exit 0 +fi travis_fold install "ninja install" if [ "$DISTRO" != "" ] ; then docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install |