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 <jgr...@suse.com>
Once the rest of the patch series is committed: Acked-by: Anthony PERARD <anthony.per...@vates.tech> Thanks, -- Anthony PERARD