Wei Liu writes ("[PATCH for-4.9 v2] build: stubdom and tools should depend on
public header target"):
> Build can fail if stubdom build is run before tools build because:Acked-by: Ian Jackson <ian.jack...@eu.citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
