diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs index 310bf4f583ea..5b1b720da749 100644 --- a/src/bin/cargo-miri.rs +++ b/src/bin/cargo-miri.rs @@ -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")); } }