diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2017-04-02 01:20:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-02 01:20:16 +0200 |
| commit | 1ad564400649fde0394455df3ef130fb4bdf291a (patch) | |
| tree | 8c10bed82753f1ad73b453b47b8ab172bf82daac /ci/script.sh | |
| parent | 16babc66870b5579f3305fa1289f25e1dc496655 (diff) | |
| parent | 6ddaace7ac9f2ed13d7b210d87c715c9f7209c7f (diff) | |
| download | rneovim-1ad564400649fde0394455df3ef130fb4bdf291a.tar.gz rneovim-1ad564400649fde0394455df3ef130fb4bdf291a.tar.bz2 rneovim-1ad564400649fde0394455df3ef130fb4bdf291a.zip | |
Merge #6409 from ZyX-I/separate-clint
cmake: Add `clint` target to build Makefile
Diffstat (limited to 'ci/script.sh')
| -rwxr-xr-x | ci/script.sh | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/ci/script.sh b/ci/script.sh index 79a1bec201..a59c40cd2d 100755 --- a/ci/script.sh +++ b/ci/script.sh @@ -3,16 +3,11 @@ 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" + sudo -E su "${USER}" -c "ci/run_${CI_TARGET}.sh" else - ci/run_tests.sh + ci/run_${CI_TARGET}.sh fi |