Merge pull request #2325 from dnephin/fix_jenkins_build

Fix jenkins CI
2015-11-04 17:25:17 -05:00 · 2015-11-04 17:25:17 -05:00 · 50f06c6ba2
parent 6a8806fe8d 385b4280a1
commit 50f06c6ba2
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -16,7 +16,7 @@ RUN set -ex; \
    ; \
    rm -rf /var/lib/apt/lists/*

-RUN curl https://get.docker.com/builds/Linux/x86_64/docker-latest \
+RUN curl https://get.docker.com/builds/Linux/x86_64/docker-1.8.3 \
        -o /usr/local/bin/docker && \
    chmod +x /usr/local/bin/docker