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

Auto merge of #893 - RalfJung:rustup, r=RalfJung

Browse source 
mention that we get the toolchain right

Fixes https://github.com/rust-lang/miri/issues/892

Cc @shepmaster
This commit is contained in:
bors 2019-08-06 20:46:22 +00:00
commit 9758d8f44a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bin/cargo-miri.rs
View file

@ -268,7 +268,7 @@ fn setup(ask_user: bool) {
let src = Path::new(sysroot.trim_end_matches('\n')).join("lib").join("rustlib").join("src");
if !src.exists() {
if ask_user {
ask("It seems you do not have the rust-src component installed. I will run `rustup component add rust-src`. Proceed?");
ask("It seems you do not have the rust-src component installed. I will run `rustup component add rust-src` for the selected toolchain. Proceed?");
} else {
println!("Installing rust-src component: `rustup component add rust-src`");
}