From: Juergen Gross Date: Sun, 25 Oct 2020 10:11:29 +0000 (+0100) Subject: tools/libs: let build depend on official headers X-Git-Tag: archive/raspbian/4.16.0+51-g0941d6cb-1+rpi1~2^2~42^2~1458 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=964781c6f162893677c50a779b7d562a299727ba;p=xen.git 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 Acked-by: Wei Liu --- 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)