[xen master] build: don't require full tools build for building stubdoms

[patchbot@xxxxxxx]

commit 286c4cc267005f73aba831d22d65abe6874ceaea
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Tue May 27 15:20:33 2025 +0200
Commit:     Anthony PERARD <anthony.perard@xxxxxxxxxx>
CommitDate: Mon Jun 2 10:31:21 2025 +0200

    build: don't require full tools build for building stubdoms
    
    With the drop of qemu-traditional "make stubdom" no longer requires
    "make tools" to have finished.
    
    It is enough to add "install-tools-public-headers" as a prereq of
    "install-stubdom".
    
    Signed-off-by: Juergen Gross <jgross@xxxxxxxx>
    Acked-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index c9d80a6dc6..67b71ac3d4 100644
--- a/Makefile
+++ b/Makefile
@@ -147,7 +147,7 @@ install-tools: install-tools-public-headers
        $(MAKE) -C tools install
 
 .PHONY: install-stubdom
-install-stubdom: mini-os-dir install-tools
+install-stubdom: mini-os-dir install-tools-public-headers
        $(MAKE) -C stubdom install
 ifeq (x86_64,$(XEN_TARGET_ARCH))
        XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom install-grub-if-enabled
--
generated by git-patchbot for /home/xen/git/xen.git#master