From dcfc2f207e40da620557ab31e0e71589a0e26552 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 2 Dec 2018 10:29:57 +0100
Subject: [PATCH] do not even look for cargo metadata in 'cargo miri setup'

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

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index 70e75eec649c..4c83c5bd3dc0 100644
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -223,6 +223,10 @@ fn main() {
         // We always setup
         let ask = subcommand != MiriCommand::Setup;
         setup(ask);
+        if subcommand == MiriCommand::Setup {
+            // Stop here.
+            return;
+        }
 
         // Now run the command.
         for target in list_targets(std::env::args().skip(skip)) {