From 0b6785f8701ccfe627390f0acff26e241db6de62 Mon Sep 17 00:00:00 2001
From: Mark Rousskov <mark.simulacrum@gmail.com>
Date: Sun, 15 Nov 2020 14:18:04 -0500
Subject: [PATCH] Miri is not required on beta

---
 src/bootstrap/dist.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/bootstrap/dist.rs b/src/bootstrap/dist.rs
index 289781b96ab6e..b2a590307a203 100644
--- a/src/bootstrap/dist.rs
+++ b/src/bootstrap/dist.rs
@@ -1575,13 +1575,13 @@ impl Step for Miri {
         let miri = builder
             .ensure(tool::Miri { compiler, target, extra_features: Vec::new() })
             .or_else(|| {
-                missing_tool("miri", builder.build.config.missing_tools);
+                missing_tool("miri", true);
                 None
             })?;
         let cargomiri = builder
             .ensure(tool::CargoMiri { compiler, target, extra_features: Vec::new() })
             .or_else(|| {
-                missing_tool("cargo miri", builder.build.config.missing_tools);
+                missing_tool("cargo miri", true);
                 None
             })?;