From cc8d9956054246ef78c27e58eb0a1ef1df8c1fd2 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 6 Aug 2019 08:05:32 +0200 Subject: [PATCH] go back to released xargo (the experiment is done) --- src/bin/cargo-miri.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs index 8d7bbace0e..2202465709 100644 --- a/src/bin/cargo-miri.rs +++ b/src/bin/cargo-miri.rs @@ -250,8 +250,7 @@ fn setup(ask_user: bool) { println!("Installing xargo: `cargo install xargo -f`"); } - // FIXME: Install from crates.io again once a new xargo got released. - if cargo().args(&["install", "xargo", "-f", "--git", "https://github.com/japaric/xargo"]).status() + if cargo().args(&["install", "xargo", "-f"]).status() .expect("failed to install xargo") .success().not() {