[Xen-changelog] [xen master] build: add missing dependency

[patchbot@xxxxxxx]

commit 93ade42f47300f3f353aa9bd59b737bca8f2d342
Author:     Wei Liu <wei.liu2@xxxxxxxxxx>
AuthorDate: Thu May 18 11:57:32 2017 +0100
Commit:     Wei Liu <wei.liu2@xxxxxxxxxx>
CommitDate: Thu May 18 13:48:03 2017 +0100

    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@xxxxxxxxxx>
    Acked-by: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
    Release-acked-by: Julien Grall <julien.grall@xxxxxxx>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 3e1e065..e958bdc 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
--
generated by git-patchbot for /home/xen/git/xen.git#master

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