build: Add target for pulling base images

Now that building doesn't automatically pull, add a target to pull all
base images. This iterates over all images, which is inefficient because
many of the images are shared, but will do for now.

Author: mpe

build/Makefile

@@ -32,7 +32,7 @@ VERSION:
 define MAIN_TEMPLATE =
 image@${1}@${2} rebuild-image@${1}@${2}: VERSION
 
-image@${1}@${2} rebuild-image@${1}@${2} pull-image@${1}@${2} push-image@${1}@${2}:
+image@${1}@${2} rebuild-image@${1}@${2} pull-image@${1}@${2} push-image@${1}@${2} pull-base-image@${1}@${2}:
 	@./scripts/image.sh $$@
 
 clean@${1}@${2}:
@@ -43,6 +43,7 @@ IMAGES += image@${1}@${2}
 PULL_IMAGES += pull-image@${1}@${2}
 REBUILD_IMAGES += rebuild-image@${1}@${2}
 PUSH_IMAGES += push-image@${1}@${2}
+PULL_BASE_IMAGES += pull-base-image@${1}@${2}
 endef
 
 define KERNEL_TEMPLATE =
@@ -141,6 +142,7 @@ images: ${IMAGES}
 pull-images: ${PULL_IMAGES}
 rebuild-images: ${REBUILD_IMAGES}
 push-images: ${PUSH_IMAGES}
+pull-base-images: ${PULL_BASE_IMAGES}
 docs: ${DOCS}
 
 ALL_TARGETS = ${KERNEL} ${PPCTESTS} ${SELFTESTS} ${IMAGES} ${PULL_IMAGES} ${DOCS} ${CLEAN}

build/scripts/image.sh

@@ -17,6 +17,23 @@ fi
 
 image="linuxppc/build:$distro-$version"
 
+from="docker.io/$distro:$version"
+
+if [[ "$distro" == "docs" ]]; then
+    from="docker.io/ubuntu:$version"
+elif [[ "$distro" == "ubuntu-allcross" ]]; then
+    from="linuxppc/build:ubuntu-$version"
+elif [[ "$distro" == "korg" ]]; then
+    # Use an older distro for the 5.x toolchains.
+    if [[ "$version" == 5.* ]]; then
+        from="docker.io/ubuntu:16.04"
+    elif [[ "$version" == 13.* ]]; then
+        from="docker.io/ubuntu:23.04"
+    else
+        from="docker.io/ubuntu:20.04"
+    fi
+fi
+
 if [[ "$task" == "image" ]]; then
     cmd="$DOCKER images -q --filter=reference=$image"
     echo "+ $cmd" # fake set -x display
@@ -82,6 +99,10 @@ elif [[ "$task" == "push-image" ]]; then
     fi
 
     exit 0
+elif [[ "$task" == "pull-base-image" ]]; then
+    cmd="$DOCKER pull $from"
+    (set -x; $cmd)
+    exit $?
 fi
 
 cmd="$DOCKER build -f $distro/Dockerfile "
@@ -102,28 +123,11 @@ if [[ -z "$GID" ]]; then
     GID=$(id -g)
 fi
 
-from="docker.io/$distro:$version"
-
-if [[ "$distro" == "docs" ]]; then
-    from="docker.io/ubuntu:$version"
-elif [[ "$distro" == "ubuntu-allcross" ]]; then
-	from="linuxppc/build:ubuntu-$version"
-elif [[ "$distro" == "korg" ]]; then
+if [[ "$distro" == "korg" ]]; then
     cmd+="--build-arg compiler_version=$version "
-
     arch=$(uname -m)
-
     cmd+="--build-arg base_url=https://mirrors.edge.kernel.org/pub/tools/crosstool/files/bin/${arch}/${version}/ "
     cmd+="--build-arg tar_file=${arch}-gcc-${version}-nolibc-powerpc64-linux.tar.xz "
-
-    # Use an older distro for the 5.x toolchains.
-    if [[ "$version" == 5.* ]]; then
-	from="docker.io/ubuntu:16.04"
-    elif [[ "$version" == 13.* ]]; then
-	from="docker.io/ubuntu:23.04"
-    else
-	from="docker.io/ubuntu:20.04"
-    fi
 fi
 
 cmd+="--build-arg uid=$UID "