From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 7 Jun 2021 11:01:20 +0000 (+0100)
Subject: Makefile: check errors from cargo doc
X-Git-Tag: otter-0.7.0~50
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=5911af81f96abced0aed886f503ad70a55364648;p=otter.git

Makefile: check errors from cargo doc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/Makefile b/Makefile
index 168fba5d..e4171bff 100644
--- a/Makefile
+++ b/Makefile
@@ -218,6 +218,7 @@ stamp/cargo-wdt.debug: $(call rsrcs,.)
 	$(stamp)
 
 stamp/cargo.doc: $(call rsrcs,.)
+	set -o pipefail -e; \
 	$(CARGO) doc $(CARGO_DOC_OPTS) --workspace 2>&1 |egrep -vf .cargo-doc-suppress-errors
 	$(stamp)