summaryrefslogtreecommitdiff
path: root/.ci/ci-make.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-make.sh')
-rwxr-xr-x.ci/ci-make.sh3
1 files changed, 0 insertions, 3 deletions
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
8travis_fold ninja ninja 8travis_fold ninja ninja
9if [ "$DISTRO" != "" ] ; then 9if [ "$DISTRO" != "" ] ; then
10 if [ "$1" = "coverity" ] ; then 10 if [ "$1" = "coverity" ] ; then
11# if [ $(date +%A) != "Saturday" ]; then
12# exit 0
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" 11 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" 12 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" 13 docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh"