Merge pull request #3928 from justinmk/fix_ci_target

test: change CI_TARGET reference to CI
This commit is contained in:
Justin M. Keyes
2016-01-02 01:21:42 -05:00
3 changed files with 3 additions and 3 deletions

View File

@@ -4,7 +4,7 @@ set -e
set -o pipefail
if [[ -n "${CI_TARGET}" ]]; then
make lint
make "${CI_TARGET}"
exit 0
fi

View File

@@ -58,7 +58,7 @@ env:
matrix:
include:
- os: linux
env: CI_TARGET=clint
env: CI_TARGET=lint
- os: linux
compiler: gcc-5
- os: linux

View File

@@ -119,7 +119,7 @@ if os.getenv('VALGRIND') then
default_screen_timeout = default_screen_timeout * 3
end
if os.getenv('CI_TARGET') then
if os.getenv('CI') then
default_screen_timeout = default_screen_timeout * 3
end