diff options
Diffstat (limited to '.ci/ci-make-install.sh')
-rwxr-xr-x | .ci/ci-make-install.sh | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/.ci/ci-make-install.sh b/.ci/ci-make-install.sh index 08bf1db204..157f1a2401 100755 --- a/.ci/ci-make-install.sh +++ b/.ci/ci-make-install.sh @@ -2,12 +2,11 @@ set -e . .ci/travis.sh -if [ "$1" = "release-ready" ] ; then - exit 0 -fi -if [ "$1" = "coverity" ] ; then + +if [ "$1" = "release-ready" ] || [ "$1" = "coverity" ] ; then exit 0 fi + travis_fold install "ninja install" if [ "$1" = "asan" ]; then 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 |