[xen master] tools/libs: let build depend on official headers

[patchbot@xxxxxxx]

commit 964781c6f162893677c50a779b7d562a299727ba
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Sun Oct 25 11:11:29 2020 +0100
Commit:     Wei Liu <wl@xxxxxxx>
CommitDate: Mon Oct 26 14:48:52 2020 +0000

    tools/libs: let build depend on official headers
    
    The build target of a library should depend on the official headers
    of that library, too, as those might be required for building other
    tools.
    
    Signed-off-by: Juergen Gross <jgross@xxxxxxxx>
    Acked-by: Wei Liu <wl@xxxxxxx>
---
 tools/libs/libs.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/libs/libs.mk b/tools/libs/libs.mk
index 959ff91a56..b0e785b380 100644
--- a/tools/libs/libs.mk
+++ b/tools/libs/libs.mk
@@ -57,7 +57,7 @@ $(PKG_CONFIG_LOCAL): PKG_CONFIG_LIBDIR = $(CURDIR)
 all: build
 
 .PHONY: build
-build: libs libxen$(LIBNAME).map
+build: libs libxen$(LIBNAME).map $(LIBHEADERS)
 
 .PHONY: libs
 libs: headers.chk $(LIB) $(PKG_CONFIG_INST) $(PKG_CONFIG_LOCAL)
--
generated by git-patchbot for /home/xen/git/xen.git#master