diff --git a/paddle/scripts/paddle_docker_build.sh b/paddle/scripts/paddle_docker_build.sh index 77588b8872dfdcb7fa8941860f52846fdf98443c..3462deb9c2f88b6da643d6aa833449ed5f4a9b34 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 <