summaryrefslogtreecommitdiff
path: root/.ci/ci-configure.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-configure.sh')
-rwxr-xr-x.ci/ci-configure.sh4
1 files changed, 0 insertions, 4 deletions
diff --git a/.ci/ci-configure.sh b/.ci/ci-configure.sh
index b7466f6575..086bf92083 100755
--- a/.ci/ci-configure.sh
+++ b/.ci/ci-configure.sh
@@ -57,10 +57,6 @@ 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
61# echo "Not Saturday so we are not running our weekly Coverity scan build."
62# exit 0
63# fi
64 OPTS="$OPTS $WAYLAND_LINUX_COPTS" 60 OPTS="$OPTS $WAYLAND_LINUX_COPTS"
65 travis_fold cov-download cov-download 61 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' 62 docker exec --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c '.ci/coverity-tools-install.sh'