summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-x.ci/ci-make.sh4
1 files changed, 1 insertions, 3 deletions
diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh
index 1868203c04..0858087296 100755
--- a/.ci/ci-make.sh
+++ b/.ci/ci-make.sh
@@ -15,11 +15,9 @@ fi
15 15
16if [ "$DISTRO" != "" ] ; then 16if [ "$DISTRO" != "" ] ; then
17 if [ "$1" = "coverity" ] ; then 17 if [ "$1" = "coverity" ] ; then
18 # Needed on 4.8 or newer Kernel to allow running cov tools
19 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "cat /proc/cmdline || true"
20 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "uname -a || true"
21 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" 18 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"
22 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int" 19 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int"
20 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "cat /src/cov-int/build-log.txt"
23#docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh" 21#docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh"
24 else 22 else
25 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build 23 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build