From 34924f6105ab7e44542ddbbafb1884e90bb54ecb Mon Sep 17 00:00:00 2001 From: liaogang Date: Mon, 24 Apr 2017 15:41:34 +0800 Subject: [PATCH] update build_docker --- .tools/build_docker.sh | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.tools/build_docker.sh b/.tools/build_docker.sh index 2029819..4e14722 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 <