diff options
Diffstat (limited to '.ci/ci-configure.sh')
| -rwxr-xr-x | .ci/ci-configure.sh | 4 |
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 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 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' |