diff --git a/library/compiler-builtins/ci/script.sh b/library/compiler-builtins/ci/script.sh index e119044b618a..847530a142cc 100644 --- a/library/compiler-builtins/ci/script.sh +++ b/library/compiler-builtins/ci/script.sh @@ -36,7 +36,7 @@ run_tests() { } main() { - if [[ $TRAVIS_OS_NAME == "linux" ]]; then + if [[ $TRAVIS_OS_NAME == "linux" && ${IN_DOCKER_CONTAINER:-n} == "n" ]]; then local tag=2016-08-13 docker run \