don't call docker inside docker

2016-08-13 17:36:00 -05:00 · 2016-08-13 17:36:00 -05:00 · 480bbec3cd
parent b4df203c46
commit 480bbec3cd
1 changed files with 1 additions and 1 deletions
--- a/ci/script.sh
+++ b/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 \