fix --platform docker invocation

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 12, 2024 · e3e44b7 · e3e44b7
1 parent 37eac9a
commit e3e44b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -98,7 +98,7 @@ apply_software_to_image()
 
     # NOTE: it's OK to supply docker build-args that aren't requested in the Dockerfile
     # shellcheck disable=SC2086
-    $DOCKER_BUILD -platform $DOCKER_PLATFORM $DOCKER_FLAGS \
+    $DOCKER_BUILD --platform $DOCKER_PLATFORM $DOCKER_FLAGS \
 		--build-arg BASE_BUILDER_IMG="$DOCKERHUB$prebuilt_img" \
 		--build-arg BASE_IMG="$DOCKERHUB$orig_img" \
         --build-arg SCM="$SCM" \