diff options
-rw-r--r-- | tools/libs/libs.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/libs/libs.mk b/tools/libs/libs.mk index 325b7b7cea..362066131c 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) |