From 874437d717154072a3fe6ff04887fdf42988dffc Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 4 Aug 2019 10:09:58 +0200
Subject: [PATCH] install xargo from git temporarily

---
 src/bin/cargo-miri.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index 1c0d23336e6..6baa882519b 100644
--- 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()
         {