From f0c4088a886b87ffcbdb1052370c10b290458285 Mon Sep 17 00:00:00 2001 From: Lei Wang Date: Mon, 21 May 2018 10:56:46 -0700 Subject: [PATCH] Build: remove fixed container name to allow multiple build together. (#10780) --- paddle/scripts/paddle_docker_build.sh | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/paddle/scripts/paddle_docker_build.sh b/paddle/scripts/paddle_docker_build.sh index 77588b8872d..3462deb9c2f 100755 --- a/paddle/scripts/paddle_docker_build.sh +++ b/paddle/scripts/paddle_docker_build.sh @@ -14,20 +14,9 @@ # See the License for the specific language governing permissions and # limitations under the License. -function container_running() { - name=$1 - docker ps -a --format "{{.Names}}" | grep "${name}" > /dev/null - return $? -} - function start_build_docker() { docker pull $IMG - if container_running "${CONTAINER_ID}"; then - docker stop "${CONTAINER_ID}" 1>/dev/null - docker rm -f "${CONTAINER_ID}" 1>/dev/null - fi - apt_mirror='s#http://archive.ubuntu.com/ubuntu#mirror://mirrors.ubuntu.com/mirrors.txt#g' DOCKER_ENV=$(cat <