Rollup merge of #58990 - oli-obk:miri_manifest, r=alexcrichton

Actually publish miri in the manifest
rust-lang · Mar 9, 2019 · aa64a77 · aa64a77
2 parents eb77056 + e5b3ed8
commit aa64a77
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/tools/build-manifest/src/main.rs b/src/tools/build-manifest/src/main.rs
@@ -358,6 +358,7 @@ impl Builder {
  self.package("rust-src", &mut manifest.pkg, &["*"]);
  self.package("rls-preview", &mut manifest.pkg, HOSTS);
  self.package("clippy-preview", &mut manifest.pkg, HOSTS);
+ self.package("miri", &mut manifest.pkg, HOSTS);
  self.package("rustfmt-preview", &mut manifest.pkg, HOSTS);
  self.package("rust-analysis", &mut manifest.pkg, TARGETS);
  self.package("llvm-tools-preview", &mut manifest.pkg, TARGETS);
@@ -375,7 +376,7 @@ impl Builder {
  &["rustc", "cargo", "rust-std", "rust-mingw",
  "rust-docs", "rustfmt-preview", "clippy-preview",
  "rls-preview", "rust-src", "llvm-tools-preview",
- "lldb-preview", "rust-analysis"]);
+ "lldb-preview", "rust-analysis", "miri"]);
 
  manifest.renames.insert("rls".to_owned(), Rename { to: "rls-preview".to_owned() });
  manifest.renames.insert("rustfmt".to_owned(), Rename { to: "rustfmt-preview".to_owned() });
@@ -422,6 +423,7 @@ impl Builder {
  // weren't built
  extensions.extend(vec![
  Component { pkg: "clippy-preview".to_string(), target: host.to_string() },
+ Component { pkg: "miri".to_string(), target: host.to_string() },
  Component { pkg: "rls-preview".to_string(), target: host.to_string() },
  Component { pkg: "rustfmt-preview".to_string(), target: host.to_string() },
  Component { pkg: "llvm-tools-preview".to_string(), target: host.to_string() },