skip rustdoc

tmandry · tmandry · commit 3d781b9d0417 · 2024-04-25T12:12:50.000-07:00
diff --git a/src/tools/opt-dist/src/main.rs b/src/tools/opt-dist/src/main.rs
@@ -376,6 +376,7 @@ fn main() -> anyhow::Result<()> {
             "clippy",
             "miri",
             "rustfmt",
+            "rustdoc",
         ] {
             build_args.extend(["--skip".to_string(), target.to_string()]);
         }

Original file line number	Diff line number	Diff line change
`@@ -376,6 +376,7 @@ fn main() -> anyhow::Result<()> {`
`376`	`376`	`"clippy",`
`377`	`377`	`"miri",`
`378`	`378`	`"rustfmt",`
	`379`	`+ "rustdoc",`
`379`	`380`	`] {`
`380`	`381`	`build_args.extend(["--skip".to_string(), target.to_string()]);`
`381`	`382`	`}`