diff --git a/ci/script.sh b/ci/script.sh index 4243fb0..e119044 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -36,7 +36,7 @@ run_tests() { } main() { - if [[ $DOCKER == "y" ]]; then + if [[ $TRAVIS_OS_NAME == "linux" ]]; then local tag=2016-08-13 docker run \