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' diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh index e17595582f..30f7d7c37d 100755 --- a/.ci/ci-make.sh +++ b/.ci/ci-make.sh @@ -8,9 +8,6 @@ fi travis_fold ninja ninja if [ "$DISTRO" != "" ] ; then if [ "$1" = "coverity" ] ; then -# 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"