diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-12-23 21:20:35 +0100 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-01-08 15:21:06 +0100 |
| commit | 83530120eabdaf770d5d2f19c7fd656cf59efdbb (patch) | |
| tree | 9d54f114e35582f681bc2f0773eb79ebf9ad389f /src/bootstrap/builder.rs | |
| parent | 67ede4cb7fee65e2d797a7d02abb0d199f5ab377 (diff) | |
| download | rust-83530120eabdaf770d5d2f19c7fd656cf59efdbb.tar.gz rust-83530120eabdaf770d5d2f19c7fd656cf59efdbb.zip | |
Prepare everything for distributing miri via rustup
Diffstat (limited to 'src/bootstrap/builder.rs')
| -rw-r--r-- | src/bootstrap/builder.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bootstrap/builder.rs b/src/bootstrap/builder.rs index 117ff0e7214..9c58f5b179f 100644 --- a/src/bootstrap/builder.rs +++ b/src/bootstrap/builder.rs @@ -449,6 +449,7 @@ impl<'a> Builder<'a> { dist::Rls, dist::Rustfmt, dist::Clippy, + dist::Miri, dist::LlvmTools, dist::Lldb, dist::Extended, @@ -461,6 +462,7 @@ impl<'a> Builder<'a> { install::Rls, install::Rustfmt, install::Clippy, + install::Miri, install::Analysis, install::Src, install::Rustc |