From 3b71fba9e39d89365ebecd9064e1eb7f58965c50 Mon Sep 17 00:00:00 2001
From: Ivan Dyachkov <dev@dyachkov.org>
Date: Tue, 16 Apr 2024 07:56:00 +0200
Subject: [PATCH] chore(build): when using make *-docker, load docker image by
 default

---
 build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build b/build
index d63260d1d..73b83a5b6 100755
--- a/build
+++ b/build
@@ -493,7 +493,7 @@ make_docker() {
     if [ "${DOCKER_PUSH:-false}" = true ]; then
         DOCKER_BUILDX_ARGS+=(--push)
     fi
-    if [ "${DOCKER_LOAD:-false}" = true ]; then
+    if [ "${DOCKER_LOAD:-true}" = true ]; then
         DOCKER_BUILDX_ARGS+=(--load)
     fi
     if [ -d "${REBAR_GIT_CACHE_DIR:-}" ]; then