user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Miri is not required on beta

Browse source
This commit is contained in:
Mark Rousskov 2020-11-15 14:18:04 -05:00
parent d9beaaf2f0
commit 0b6785f870
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/bootstrap/dist.rs
View file

@ -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
})?;