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

Prepare everything for distributing miri via rustup

Browse source
This commit is contained in:
Oliver Scherer 2018-12-23 21:20:35 +01:00
parent 67ede4cb7f
commit 83530120ea
5 changed files with 108 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/bootstrap/lib.rs
View file

@ -253,6 +253,7 @@ pub struct Build {
cargo_info: channel::GitInfo,
rls_info: channel::GitInfo,
clippy_info: channel::GitInfo,
miri_info: channel::GitInfo,
rustfmt_info: channel::GitInfo,
local_rebuild: bool,
fail_fast: bool,
@ -374,6 +375,7 @@ impl Build {
let cargo_info = channel::GitInfo::new(&config, &src.join("src/tools/cargo"));
let rls_info = channel::GitInfo::new(&config, &src.join("src/tools/rls"));
let clippy_info = channel::GitInfo::new(&config, &src.join("src/tools/clippy"));
let miri_info = channel::GitInfo::new(&config, &src.join("src/tools/miri"));
let rustfmt_info = channel::GitInfo::new(&config, &src.join("src/tools/rustfmt"));
let mut build = Build {
@ -396,6 +398,7 @@ impl Build {
cargo_info,
rls_info,
clippy_info,
miri_info,
rustfmt_info,
cc: HashMap::new(),
cxx: HashMap::new(),