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

temporarily use git version of xargo

Browse source
This commit is contained in:
Ralf Jung 2018-12-15 18:39:42 +01:00
parent 6a37e723c4
commit 96b2c347d7
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -171,7 +171,8 @@ fn setup(ask_user: bool) {
} else {
println!("Installing xargo: `cargo install xargo -f`");
}
if !Command::new("cargo").args(&["install", "xargo", "-f"]).status().unwrap().success() {
// 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() {
show_error(format!("Failed to install xargo"));
}
}