| Message ID | 20170518105732.9880-1-wei.liu2@citrix.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
Wei Liu writes ("[PATCH for-4.9] build: add missing dependency"):
> Commit f745b55 missed install-tools' dependency on
> build-tools-public-headers.
>
> Discovered by Travis-CI.
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
On 18/05/17 12:56, Ian Jackson wrote: > Wei Liu writes ("[PATCH for-4.9] build: add missing dependency"): >> Commit f745b55 missed install-tools' dependency on >> build-tools-public-headers. >> >> Discovered by Travis-CI. > > Acked-by: Ian Jackson <ian.jackson@eu.citrix.com> Release-acked-by: Julien Grall <julien.grall@arm.com> Cheers,
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
Commit f745b55 missed install-tools' dependency on build-tools-public-headers. Discovered by Travis-CI. Signed-off-by: Wei Liu <wei.liu2@citrix.com> --- Cc: Ian Jackson <ian.jackson@eu.citrix.com> Cc: Julien Grall <Julien.Grall@arm.com> --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)