diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-22 07:17:26 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-09-22 07:17:26 +0000 |
| commit | 2ce88a5894f3c84b8dfc6e330465d696c664bc53 (patch) | |
| tree | ddd5186b718f8d350614b207b30a34c174e23ff6 /src/bootstrap | |
| parent | 47cb3785260bf0a7baa6e26618eabec73f4e9409 (diff) | |
| download | rust-2ce88a5894f3c84b8dfc6e330465d696c664bc53.tar.gz rust-2ce88a5894f3c84b8dfc6e330465d696c664bc53.zip | |
Allow miri docs to keep failing for now
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/doc.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index 5d021b8ab16..819af658748 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -851,7 +851,7 @@ tool_doc!( in_tree = true ); tool_doc!(Clippy, "clippy", "src/tools/clippy", ["clippy_utils"], in_tree = true); -tool_doc!(Miri, "miri", "src/tools/miri", ["miri"], in_tree = true); +tool_doc!(Miri, "miri", "src/tools/miri", ["miri"], in_tree = false); #[derive(Ord, PartialOrd, Debug, Copy, Clone, Hash, PartialEq, Eq)] pub struct ErrorIndex { |