diff options
author | Stefan Schmidt <s.schmidt@samsung.com> | 2019-09-16 11:09:02 +0200 |
---|---|---|
committer | Stefan Schmidt <s.schmidt@samsung.com> | 2019-09-16 11:41:53 +0200 |
commit | 5028b6b7c0616eda2d214fd1b6fdb39da72661a7 (patch) | |
tree | 73785d7330ce699af793005cf9bd54b107d6523b /.ci | |
parent | 5daac17e990d8cd3c1eb6e6b41e65b814eeb1920 (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.sh | 8 | ||||
-rwxr-xr-x | .ci/ci-make.sh | 6 |
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 | |||
8 | travis_fold ninja ninja | 8 | travis_fold ninja ninja |
9 | if [ "$DISTRO" != "" ] ; then | 9 | if [ "$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" |