diff --git a/.tools/build_docker.sh b/.tools/build_docker.sh index 2029819eedfd7561949944728fdeb1545e839094..4e147225910078b2b51ad2d1aae2d52ddc2aa415 100755 --- a/.tools/build_docker.sh +++ b/.tools/build_docker.sh @@ -1,8 +1,8 @@ #!/bin/bash -set -e +set -xe cur_path="$(cd "$(dirname "$0")" && pwd -P)" -cd $cur_path/../ +cd "$cur_path"/../ #paddle production image name if [ ! -n "$1" ]; then @@ -50,7 +50,7 @@ MAINTAINER PaddlePaddle Authors COPY . /book EOF -if [ -n ${http_proxy} ]; then +if [ -n "${http_proxy}" ]; then cat >> Dockerfile <> Dockerfile <