diff options
| author | Ian Jackson <ian.jackson@eu.citrix.com> | 2012-10-09 18:00:00 +0100 |
|---|---|---|
| committer | Ian Jackson <ian.jackson@eu.citrix.com> | 2012-10-09 18:00:00 +0100 |
| commit | bf59aa3f2153a7c1513759e74ff366d94869e9e7 (patch) | |
| tree | ba14f9b10d9ecd9493e8bf208052a0afa4e54585 /Makefile | |
| parent | 97d5a272d594be442a46446da35d633975d09751 (diff) | |
| download | xen-bf59aa3f2153a7c1513759e74ff366d94869e9e7.tar.gz xen-bf59aa3f2153a7c1513759e74ff366d94869e9e7.tar.bz2 xen-bf59aa3f2153a7c1513759e74ff366d94869e9e7.zip | |
docs, build: Do not ignore install-docs errors
In the toplevel Makefile "install-docs" (depended on by "install" and
hence "dist"), but not "build", ignores errors.
This was inherited from before 24563:4271634e4c86, prior to which the
||true seems intended to handle failures of check_pkgs. Nowadays we
handle docs tools individually in the docs makefiles so there is no
need for this ||true here.
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -103,7 +103,7 @@ tools/firmware/seabios-dir-force-update: .PHONY: install-docs install-docs: - $(MAKE) -C docs install || true + $(MAKE) -C docs install .PHONY: dev-docs dev-docs: |