diff options
-rwxr-xr-x | extras/hs-test/script/build_hst.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/extras/hs-test/script/build_hst.sh b/extras/hs-test/script/build_hst.sh index 0897813db72..cc2d00b6cbd 100755 --- a/extras/hs-test/script/build_hst.sh +++ b/extras/hs-test/script/build_hst.sh @@ -55,8 +55,12 @@ fi docker_build () { tag=$1 dockername=$2 - docker build --build-arg UBUNTU_VERSION --build-arg http_proxy=$HTTP_PROXY \ - --build-arg https_proxy=$HTTP_PROXY -t $tag -f docker/Dockerfile.$dockername . + docker build --build-arg UBUNTU_VERSION \ + --build-arg http_proxy=$HTTP_PROXY \ + --build-arg https_proxy=$HTTP_PROXY \ + --build-arg HTTP_PROXY=$HTTP_PROXY \ + --build-arg HTTPS_PROXY=$HTTP_PROXY \ + -t $tag -f docker/Dockerfile.$dockername . } docker_build hs-test/vpp vpp |