From 17ed8938e08b94f6d566e6664c3ecde03b265e24 Mon Sep 17 00:00:00 2001 From: Avi Deitcher Date: Wed, 6 Mar 2024 10:00:00 +0200 Subject: [PATCH] kernel builder handle push properly Signed-off-by: Avi Deitcher --- kernel/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/kernel/Makefile b/kernel/Makefile index 276907dfd..a5524a77d 100644 --- a/kernel/Makefile +++ b/kernel/Makefile @@ -137,6 +137,10 @@ builddebugkernel-%: buildkerneldeps-% push-%: notdirty build-% pushkernel-% tagbuilder-% pushtools-%; +# tagbuilder-% tags the builder image with the kernel version and `-builder` and pushes it +# checks if it already matches on the registry before pushing +# because the build may have been on a remote builder, or we may not have had to do a local build, +# we cannot assume that IMAGE_BUILDER is available locally, whether in docker image cache or limuxkit cache tagbuilder-%: notdirty $(eval BUILDER_IMAGE=$(call baseimage,$*)-builder) docker tag $(IMAGE_BUILDER) $(BUILDER_IMAGE)$(SUFFIX) && \