[Xen-devel] [PATCH for-4.9] build: add missing dependency

[Wei Liu <wei.liu2@xxxxxxxxxx>]

Commit f745b55 missed install-tools' dependency on
build-tools-public-headers.

Discovered by Travis-CI.

Signed-off-by: Wei Liu <wei.liu2@xxxxxxxxxx>
---
Cc: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
Cc: Julien Grall <Julien.Grall@xxxxxxx>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3e1e065537..e958bdc44b 100644
--- a/Makefile
+++ b/Makefile
@@ -103,7 +103,7 @@ install-xen:
        $(MAKE) -C xen install
 
 .PHONY: install-tools
-install-tools:
+install-tools: build-tools-public-headers
        $(MAKE) -C tools install
 
 .PHONY: install-stubdom
-- 
2.11.0


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel