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)) {