From 797436cefb8dcc0c54a0712874602fe2900f5c00 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 29 Jul 2020 18:21:32 +0200
Subject: [PATCH] only check-build the dummy xargo project

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

diff --git a/cargo-miri/bin.rs b/cargo-miri/bin.rs
index 000a4d41cc5..85d72daadbd 100644
--- a/cargo-miri/bin.rs
+++ b/cargo-miri/bin.rs
@@ -338,7 +338,7 @@ fn setup(subcommand: MiriCommand) {
     let target = target.as_ref().unwrap_or(&host);
     // Now invoke xargo.
     let mut command = xargo_check();
-    command.arg("build").arg("-q");
+    command.arg("check").arg("-q");
     command.arg("--target").arg(target);
     command.current_dir(&dir);
     command.env("XARGO_HOME", &dir);