summaryrefslogtreecommitdiff
path: root/.ci/ci-make-check.sh
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2019-06-25 12:11:33 -0400
committerMike Blumenkrantz <zmike@samsung.com>2019-06-25 12:11:33 -0400
commit4f0989f2904c20ad2768b8244190b82b701c0564 (patch)
tree214791646acc23c2c0b87452882d155a1351ada6 /.ci/ci-make-check.sh
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: https://phab.enlightenment.org/D9175
Diffstat (limited to '.ci/ci-make-check.sh')
-rwxr-xr-x.ci/ci-make-check.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/.ci/ci-make-check.sh b/.ci/ci-make-check.sh
index d331993315..36f1f2de58 100755
--- a/.ci/ci-make-check.sh
+++ b/.ci/ci-make-check.sh
@@ -9,6 +9,10 @@ if [ "$1" = "mingw" ] ; then
9 exit 0 9 exit 0
10fi 10fi
11 11
12if [ "$1" = "coverity" ] ; then
13 exit 0
14fi
15
12#T7151 16#T7151
13if [ "$1" = "options-enabled" ] || [ "$1" = "options-disabled" ] ; then 17if [ "$1" = "options-enabled" ] || [ "$1" = "options-disabled" ] ; then
14 exit 0 18 exit 0