From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 8 Apr 2021 15:07:16 +0000 (+0100)
Subject: Makefile: Honour new CARGO_DOC_OPTS variable
X-Git-Tag: otter-0.5.0~130
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a39bce33f2ba301fb1d48efbfc910f7756fe4bca;p=otter.git

Makefile: Honour new CARGO_DOC_OPTS variable

This can be used to limit the number of rustdoc processes when running
autotests.

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

diff --git a/Makefile b/Makefile
index 50a920ba..a671eee5 100644
--- a/Makefile
+++ b/Makefile
@@ -198,11 +198,11 @@ stamp/cargo-wdt.debug: $(call rsrcs,.)
 	$(stamp)
 
 stamp/cargo.doc: $(call rsrcs,.)
-	$(CARGO) doc --workspace 2>&1 | egrep -vf .cargo-doc-suppress-errors
+	$(CARGO) doc $(CARGO_DOC_OPTS) --workspace 2>&1 |egrep -vf .cargo-doc-suppress-errors
 	$(stamp)
 
 stamp/cargo.doc-otter-only: $(call rsrcs,.)
-	$(CARGO) doc --workspace -p otter --no-deps
+	$(CARGO) doc $(CARGO_DOC_OPTS) --workspace -p otter --no-deps
 	$(stamp)
 
 $(addprefix stamp/cargo.wasm-,$(DR)):: \