summaryrefslogtreecommitdiff
path: root/.ci
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2019-09-16 11:09:02 +0200
committerStefan Schmidt <s.schmidt@samsung.com>2019-09-16 11:41:53 +0200
commit5028b6b7c0616eda2d214fd1b6fdb39da72661a7 (patch)
tree73785d7330ce699af793005cf9bd54b107d6523b /.ci
parent5daac17e990d8cd3c1eb6e6b41e65b814eeb1920 (diff)
ci: travis: let Coverity scan run be executed every night until release
Normally we only have this running on Saturday, which is fine for the normal development cycle. Being close to a release now I would like to get result updates every day. This will be switched back to weekly after the 1.23 release.
Diffstat (limited to '.ci')
-rwxr-xr-x.ci/ci-configure.sh8
-rwxr-xr-x.ci/ci-make.sh6
2 files changed, 7 insertions, 7 deletions
diff --git a/.ci/ci-configure.sh b/.ci/ci-configure.sh
index bca6c0aac0..8aac3dae7d 100755
--- a/.ci/ci-configure.sh
+++ b/.ci/ci-configure.sh
@@ -57,10 +57,10 @@ if [ "$DISTRO" != "" ] ; then
57 fi 57 fi
58 58
59 if [ "$1" = "coverity" ]; then 59 if [ "$1" = "coverity" ]; then
60 if [ $(date +%A) != "Saturday" ]; then 60# if [ $(date +%A) != "Saturday" ]; then
61 echo "Not Saturday so we are not running our weekly Coverity scan build." 61# echo "Not Saturday so we are not running our weekly Coverity scan build."
62 exit 0 62# exit 0
63 fi 63# fi
64 OPTS="$OPTS $WAYLAND_LINUX_COPTS" 64 OPTS="$OPTS $WAYLAND_LINUX_COPTS"
65 travis_fold cov-download cov-download 65 travis_fold cov-download cov-download
66 docker exec --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c '.ci/coverity-tools-install.sh' 66 docker exec --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c '.ci/coverity-tools-install.sh'
diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh
index 70b56490cc..e17595582f 100755
--- a/.ci/ci-make.sh
+++ b/.ci/ci-make.sh
@@ -8,9 +8,9 @@ fi
8travis_fold ninja ninja 8travis_fold ninja ninja
9if [ "$DISTRO" != "" ] ; then 9if [ "$DISTRO" != "" ] ; then
10 if [ "$1" = "coverity" ] ; then 10 if [ "$1" = "coverity" ] ; then
11 if [ $(date +%A) != "Saturday" ]; then 11# if [ $(date +%A) != "Saturday" ]; then
12 exit 0 12# exit 0
13 fi 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" 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" 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/coverity-upload.sh" 16 docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh"