From 3243e3d41a9d80380cabbbc0ccc0bf0f1df6e2be Mon Sep 17 00:00:00 2001 From: David Chung Date: Thu, 5 Jan 2017 16:10:35 -0800 Subject: [PATCH] Fix broken build due to CircleCI's outdated Docker version Signed-off-by: David Chung --- scripts/container-test | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/container-test b/scripts/container-test index b614b135b..baa1a8f47 100755 --- a/scripts/container-test +++ b/scripts/container-test @@ -13,6 +13,7 @@ DOCKER_TAG="${DOCKER_TAG:-dev}" cleanup() { docker ps | grep devbundle | awk '{print $1}' | xargs docker stop + docker ps | grep devbundle | awk '{print $1}' | xargs docker rm rm -rf $TEST_DIR } trap cleanup EXIT @@ -27,7 +28,7 @@ volumes="-v $TEST_DIR:/root -v $PWD/docs:/root/docs" envs="-e INFRAKIT_PLUGINS_DIR=/root" server() { - docker run -d --rm --name $1 $envs $volumes $DOCKER_IMAGE:$DOCKER_TAG $@ + docker run -d --name $1 $envs $volumes $DOCKER_IMAGE:$DOCKER_TAG $@ } run() {