summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2020-05-27 09:40:34 +0200
committerStefan Schmidt <s.schmidt@samsung.com>2020-05-27 09:40:34 +0200
commitecde07c2438c6795ac625369d5d2d791dea197ab (patch)
treef31c49472569c7c96c319de62cf43eeb1b61f664
parentc79837c357c8344f60cca0ccf86ee00fbc079a06 (diff)
debug
-rwxr-xr-x.ci/ci-make.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh
index b90463e195..1868203c04 100755
--- a/.ci/ci-make.sh
+++ b/.ci/ci-make.sh
@@ -16,7 +16,8 @@ fi
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 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 "sysctl vsyscall=emulate" 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"
20 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" 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"
21 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int" 22 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int"
22#docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh" 23#docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh"