Actually publish miri in the manifest

rust-lang · Mar 7, 2019 · e5b3ed8 · e5b3ed8
1 parent f22dca0
commit e5b3ed8
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() },