From 34c9d4ae701a52d096d5ea6af68217f7f30c4f16 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Sun, 24 Mar 2024 12:29:42 +0100
Subject: [PATCH] build: suppress warning

Mirroring the invocation in build_internal_image().

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index b653fd2..d029466 100755
--- a/build.sh
+++ b/build.sh
@@ -94,7 +94,7 @@ apply_software_to_image()
     shift 4
 
     # NOTE: it's OK to supply docker build-args that aren't requested in the Dockerfile
-
+    # shellcheck disable=SC2086
     $DOCKER_BUILD $DOCKER_FLAGS \
 		--build-arg BASE_BUILDER_IMG="$DOCKERHUB$prebuilt_img" \
 		--build-arg BASE_IMG="$DOCKERHUB$orig_img" \