diff options
| author | Nikolai Aleksandrovich Pavlov <kp-pav@yandex.ru> | 2017-03-31 15:32:58 +0300 |
|---|---|---|
| committer | Justin M. Keyes <justinkz@gmail.com> | 2017-03-31 14:32:58 +0200 |
| commit | a1c928e70cd995426449ac6ec6df3b5a492580e5 (patch) | |
| tree | 6996b02ac2ecbd3e8894f38b74ecc762d69f3cbb /ci/script.sh | |
| parent | 77539eef9baa0d070a1d07360dda2177c2ae41a7 (diff) | |
| download | rneovim-a1c928e70cd995426449ac6ec6df3b5a492580e5.tar.gz rneovim-a1c928e70cd995426449ac6ec6df3b5a492580e5.tar.bz2 rneovim-a1c928e70cd995426449ac6ec6df3b5a492580e5.zip | |
ci: Do not hide ci directory (#6410)
Diffstat (limited to 'ci/script.sh')
| -rwxr-xr-x | ci/script.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh new file mode 100755 index 0000000000..79a1bec201 --- /dev/null +++ b/ci/script.sh @@ -0,0 +1,18 @@ +#!/usr/bin/env bash + +set -e +set -o pipefail + +if [[ -n "${CI_TARGET}" ]]; then + make "${CI_TARGET}" + exit 0 +fi + +# This will pass the environment variables down to a bash process which runs +# as $USER, while retaining the environment variables defined and belonging +# to secondary groups given above in usermod. +if [[ "${TRAVIS_OS_NAME}" == osx ]]; then + sudo -E su "${USER}" -c "ci/run_tests.sh" +else + ci/run_tests.sh +fi |