summaryrefslogtreecommitdiff
path: root/.ci/ci-make-install.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-make-install.sh')
-rwxr-xr-x.ci/ci-make-install.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/.ci/ci-make-install.sh b/.ci/ci-make-install.sh
index 74769896c3..08bf1db204 100755
--- a/.ci/ci-make-install.sh
+++ b/.ci/ci-make-install.sh
@@ -9,6 +9,10 @@ if [ "$1" = "coverity" ] ; then
9 exit 0 9 exit 0
10fi 10fi
11travis_fold install "ninja install" 11travis_fold install "ninja install"
12if [ "$1" = "asan" ]; then
13 docker exec --env EIO_MONITOR_POLL=1 --env ASAN_OPTIONS=abort_on_error=0 --env LSAN_OPTIONS=suppressions=/src/.ci/asan-ignore-leaks.supp $(cat $HOME/cid) ninja -C build install
14 exit $?
15fi
12if [ "$DISTRO" != "" ] ; then 16if [ "$DISTRO" != "" ] ; then
13 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install 17 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install
14else 18else