From 5911af81f96abced0aed886f503ad70a55364648 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 7 Jun 2021 12:01:20 +0100
Subject: [PATCH] Makefile: check errors from cargo doc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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)
 
-- 
2.30.2