duneci-build-docker-image: set DUNECI_PARALLEL when building images

e0e38897 · Ansgar Burchardt · 019111e8 · e0e38897
Unverified Commit e0e38897 authored Aug 02, 2017 by Ansgar Burchardt
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

bin/duneci-build-docker-image bin/duneci-build-docker-image +1 -1

No files found.
--- a/bin/duneci-build-docker-image
+++ b/bin/duneci-build-docker-image
@@ -13,7 +13,7 @@ docker-build() {
 }

 docker_opts=()
-for var in ftp_proxy FTP_PROXY http_proxy HTTP_PROXY https_proxy HTTPS_PROXY no_proxy NO_PROXY; do
+for var in DUNECI_PARALLEL ftp_proxy FTP_PROXY http_proxy HTTP_PROXY https_proxy HTTPS_PROXY no_proxy NO_PROXY; do
  if [[ -n "${!var:-}" ]]; then
    docker_opts+=(--build-arg="${var}=${!var}")
  fi