install xargo from git temporarily

2019-08-04 10:09:58 +02:00 · 2019-08-04 10:09:58 +02:00 · 874437d717
commit 874437d717
parent a71ebf9066
1 changed files with 2 additions and 1 deletions
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@ -249,7 +249,8 @@ fn setup(ask_user: bool) {
            println!("Installing xargo: `cargo install xargo -f`");
        }

-        if !cargo().args(&["install", "xargo", "-f"]).status()
+        // 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()
            .expect("failed to install xargo")
            .success()
        {