From: Wei Liu <wei.liu2@citrix.com>
Date: Thu, 18 May 2017 10:57:32 +0000 (+0100)
Subject: build: add missing dependency
X-Git-Tag: 4.9.0-rc6~11
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=93ade42f47300f3f353aa9bd59b737bca8f2d342;p=xen.git

build: add missing dependency

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

Discovered by Travis-CI.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Release-acked-by: Julien Grall <julien.grall@arm.com>
---

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