diff options
author | 2017-12-20 11:19:08 +0000 | |
---|---|---|
committer | 2017-12-20 11:19:08 +0000 | |
commit | af9cc5cbef5849e23a89f1655093f170b4004cc4 (patch) | |
tree | 2bea9de2d29e217eafa22ec8dc3cd1dfe15abc45 /ci | |
parent | c7cfc2c1a8b89815772191459ca6179827aba147 (diff) | |
parent | e477b97cdc6b8ebd5a9c9b1ed20880352fdcecf5 (diff) |
Merge "Add proxy support to build msb_base"
Diffstat (limited to 'ci')
-rw-r--r-- | ci/build_docker_image.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ci/build_docker_image.sh b/ci/build_docker_image.sh index 45ac274..5d94507 100644 --- a/ci/build_docker_image.sh +++ b/ci/build_docker_image.sh @@ -22,7 +22,14 @@ if [[ ${NAME} && ${VERSION} && ${DIR} ]]; then echo "assign the x to all files and dirs under current dir.." chmod +x -R . echo "begin to build image ${NAME}.." - docker build --no-cache -t ${NAME}:${VERSION} . >/dev/null || { echo -e "\nBuild docker image failed!";exit 1; } + build_args="" + if [ $http_proxy ]; then + build_args+=" --build-arg http_proxy=$http_proxy" + fi + if [ $https_proxy ]; then + build_args+=" --build-arg https_proxy=$https_proxy" + fi + docker build --no-cache -t ${NAME}:${VERSION} $build_args . >/dev/null || { echo -e "\nBuild docker image failed!";exit 1; } docker rmi $(docker images | grep "^<none>" | awk '{print $3}') &>/dev/null # docker save -o ${NAME}.tar ${NAME}:${VERSION} >/dev/null || { rm -f ${NAME}.tar &>/dev/null;echo -e "\nSave docker image failed!";exit 1; } if [ ! -d ${DIR} ]; then |