diff options
-rwxr-xr-x | .ci/script.sh | 2 | ||||
-rw-r--r-- | .travis.yml | 2 | ||||
-rw-r--r-- | test/functional/ui/screen.lua | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/.ci/script.sh b/.ci/script.sh index 4d0666ec0e..c3c7b8dfa9 100755 --- a/.ci/script.sh +++ b/.ci/script.sh @@ -4,7 +4,7 @@ set -e set -o pipefail if [[ -n "${CI_TARGET}" ]]; then - make lint + make "${CI_TARGET}" exit 0 fi diff --git a/.travis.yml b/.travis.yml index 00c9532363..5329dcaff1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -58,7 +58,7 @@ env: matrix: include: - os: linux - env: CI_TARGET=clint + env: CI_TARGET=lint - os: linux compiler: gcc-5 - os: linux diff --git a/test/functional/ui/screen.lua b/test/functional/ui/screen.lua index e1c2d14759..80f46326ee 100644 --- a/test/functional/ui/screen.lua +++ b/test/functional/ui/screen.lua @@ -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 |