cargo: filter out stupid doc output warnings

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

diff --git a/.cargo-doc-suppress-errors b/.cargo-doc-suppress-errors
new file mode 100644 (file)
index 0000000..8ae18ff
--- /dev/null
+++ b/.cargo-doc-suppress-errors
@@ -0,0 +1,6 @@
+The lib target `.*` in package `.*` has the same output filename as the lib target `.*` in package `.*`.
+Colliding filename is:.*
+The targets should have unique names.
+This is a known bug where multiple crates with the same name use
+the same path; see <https://github\.com/rust-lang/cargo/issues/6313>\.
+warning: output filename collision\.

diff --git a/Makefile b/Makefile
index de0006649b8404a821352ddcc751a71603ef62dd..aeaef80eeb4c09abe31f2e993f891e55c15287eb 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -162,7 +162,7 @@ stamp/cargo-wdt.debug: $(call rsrcs,.)
        $(stamp)
 
 stamp/cargo.doc: $(call rsrcs,.)
-       $(CARGO) doc --workspace
+       $(CARGO) doc --workspace 2>&1 | egrep -vf .cargo-doc-suppress-errors
        $(stamp)
 
 $(addprefix stamp/cargo.wasm-,$(DR)):: \