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

[Anthony PERARD <anthony@xxxxxxxxxxxxxx>]

On Tue, Apr 08, 2025 at 02:35:24PM +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 <jgross@xxxxxxxx>

Once the rest of the patch series
is committed: Acked-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>

Thanks,

-- 
Anthony PERARD