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

there is a new xargo released, use that

Browse source
This commit is contained in:
Ralf Jung 2018-12-18 19:41:32 +01:00
parent e8c53e81f8
commit e4fd710606
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -171,8 +171,7 @@ fn setup(ask_user: bool) {
} else {
println!("Installing xargo: `cargo install xargo -f`");
}
// FIXME: Go back to using releases, once a 0.3.13 got released.
if !Command::new("cargo").args(&["install", "xargo", "-f", "--git", "https://github.com/japaric/xargo"]).status().unwrap().success() {
if !Command::new("cargo").args(&["install", "xargo", "-f"]).status().unwrap().success() {
show_error(format!("Failed to install xargo"));
}
}