From 2c2b3107dd27f50f81349d0ecc560dd38e87b22d Mon Sep 17 00:00:00 2001 From: Rudd-O Date: Wed, 27 Dec 2023 21:45:11 +0000 Subject: [PATCH] Make prepare-chroot-dom0 depend on builder.conf What is not done is actually blow away the existing chroot. This is likely to require some rework, but at least the target is phony now. --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index c1b4ad403..1dc6c2e6e 100644 --- a/Makefile +++ b/Makefile @@ -241,14 +241,17 @@ check-depend.dpkg: { echo "ERROR: call 'make install-deps' to install missing dependencies"; exit 1; } check-depend: check-depend.$(PKG_MANAGER) -prepare-chroot-dom0: +chroot-dom0-$(DIST_DOM0): builder.conf ifneq ($(DIST_DOM0),) ${Q}if [ "$(VERBOSE)" -eq 0 ]; then \ $(MAKE) --no-print-directory DIST=$(DIST_DOM0) PACKAGE_SET=dom0 -f Makefile.generic prepare-chroot > build-logs/chroot-dom0-$$DIST.log 2>&1 || exit 1; else \ $(MAKE) --no-print-directory DIST=$(DIST_DOM0) PACKAGE_SET=dom0 -f Makefile.generic prepare-chroot || exit 1; - fi + fi ; \ + touch chroot-dom0-$(DIST_DOM0) endif +prepare-chroot-dom0: chroot-dom0-$(DIST_DOM0) +.PHONY: prepare-chroot-dom0 prepare-chroot-vm: ${Q}for DIST in $(DISTS_VM_NO_FLAVOR); do \