diff --git a/scripts/docker_build b/scripts/docker_build index 106a5a95b22..0fd7d235e57 100755 --- a/scripts/docker_build +++ b/scripts/docker_build @@ -12,6 +12,9 @@ source "$SCRIPTS_DIR/common" readonly DOCKER_UID="${UID:-0}" readonly DOCKER_GID="$(id -g)" readonly DOCKER_USER="${USER:-root}" +# Use the Docker BuildKit backend: Useful for quicker builds, and multi-arch +# builds, as it expands the automatic variables available to the container. +declare -x DOCKER_BUILDKIT=1 docker build \ --cache-from="$DOCKER_IMAGE_NAME:latest" \