Re: [PATCH v3 4/4] build: don't require full tools build for building stubdoms

[Anthony PERARD]

On Tue, Apr 29, 2025 at 01:06:34PM +0200, Juergen Gross wrote:
> 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 <jgr...@suse.com>

Acked-by: Anthony PERARD <anthony.per...@vates.tech>

Thanks,

-- 
Anthony PERARD