diff options
Diffstat (limited to '.ci/ci-make-install.sh')
-rwxr-xr-x | .ci/ci-make-install.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/.ci/ci-make-install.sh b/.ci/ci-make-install.sh index a3c5320149..882b80372c 100755 --- a/.ci/ci-make-install.sh +++ b/.ci/ci-make-install.sh @@ -1,13 +1,13 @@ -#!/bin/sh +#!/bin/bash set -e -. .ci/travis.sh if [ "$1" = "release-ready" ] || [ "$1" = "coverity" ] ; then exit 0 fi -travis_fold install "ninja install" +travis_fold start "ninja-install" +travis_time_start "ninja-install" if [ "$DISTRO" != "" ] ; then docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install elif [ "$TRAVIS_OS_NAME" = "osx" ]; then @@ -16,4 +16,5 @@ elif [ "$TRAVIS_OS_NAME" = "osx" ]; then else sudo ninja -C build install fi -travis_endfold install +travis_time_finish "ninja-install" +travis_fold end "ninja-install" |