From 5028b6b7c0616eda2d214fd1b6fdb39da72661a7 Mon Sep 17 00:00:00 2001 From: Stefan Schmidt Date: Mon, 16 Sep 2019 11:09:02 +0200 Subject: [PATCH] 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. --- .ci/ci-configure.sh | 8 ++++---- .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 fi if [ "$1" = "coverity" ]; then - if [ $(date +%A) != "Saturday" ]; then - echo "Not Saturday so we are not running our weekly Coverity scan build." - exit 0 - fi +# if [ $(date +%A) != "Saturday" ]; then +# echo "Not Saturday so we are not running our weekly Coverity scan build." +# exit 0 +# fi OPTS="$OPTS $WAYLAND_LINUX_COPTS" travis_fold cov-download cov-download 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 travis_fold ninja ninja if [ "$DISTRO" != "" ] ; then if [ "$1" = "coverity" ] ; then - if [ $(date +%A) != "Saturday" ]; then - exit 0 - fi +# if [ $(date +%A) != "Saturday" ]; then +# exit 0 +# fi 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" docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int" docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh"