Skip to content

Commit e4fd710

Browse files
committed
there is a new xargo released, use that
1 parent e8c53e8 commit e4fd710

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/bin/cargo-miri.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -171,8 +171,7 @@ fn setup(ask_user: bool) {
171171
} else {
172172
println!("Installing xargo: `cargo install xargo -f`");
173173
}
174-
// FIXME: Go back to using releases, once a 0.3.13 got released.
175-
if !Command::new("cargo").args(&["install", "xargo", "-f", "--git", "https://github.com/japaric/xargo"]).status().unwrap().success() {
174+
if !Command::new("cargo").args(&["install", "xargo", "-f"]).status().unwrap().success() {
176175
show_error(format!("Failed to install xargo"));
177176
}
178177
}

0 commit comments

Comments
 (0)