[202311] use default (local) docker registry when available

This PR is cherry-picking sonic-net#19445 Signed-off-by: Ying Xie <[email protected]>
yxieca · Jul 3, 2024 · ffea21a · ffea21a
1 parent 7a03efd
commit ffea21a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Makefile.work b/Makefile.work
@@ -71,7 +71,11 @@ SHELL = /bin/bash
 USER := $(shell id -un)
 PWD := $(shell pwd)
 USER_LC := $(shell echo $(USER) | tr A-Z a-z)
-DOCKER_MACHINE := $(shell docker run --rm debian:buster uname -m)
+ifneq ($(DEFAULT_CONTAINER_REGISTRY),)
+    DOCKER_MACHINE := $(shell docker run --rm $(DEFAULT_CONTAINER_REGISTRY)/debian:buster uname -m)
+    else
+    DOCKER_MACHINE := $(shell docker run --rm debian:buster uname -m)
+endif
 
 comma := ,