diff options
Diffstat (limited to 'extras')
| -rwxr-xr-x | extras/hs-test/script/build_hst.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/hs-test/script/build_hst.sh b/extras/hs-test/script/build_hst.sh index 0f5c0a43630..e7e8a0fb2fa 100755 --- a/extras/hs-test/script/build_hst.sh +++ b/extras/hs-test/script/build_hst.sh @@ -69,7 +69,7 @@ fi docker_build () { tag=$1 dockername=$2 - set -x + set -ex # shellcheck disable=2086 docker buildx build ${DOCKER_CACHE_ARGS} \ --build-arg UBUNTU_VERSION \ @@ -78,7 +78,7 @@ docker_build () { --build-arg HTTP_PROXY="$HTTP_PROXY" \ --build-arg HTTPS_PROXY="$HTTP_PROXY" \ -t "$tag" -f docker/Dockerfile."$dockername" . - set +x + set +ex } docker_build hs-test/vpp vpp |