Commit f745b55 missed install-tools' dependency on
build-tools-public-headers.
Discovered by Travis-CI.
Signed-off-by: Wei Liu <wei.l...@citrix.com>
---
Cc: Ian Jackson <ian.jack...@eu.citrix.com>
Cc: Julien Grall <julien.gr...@arm.com>
---
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@lists.xen.org
https://lists.xen.org/xen-devel
