From dd393f21c7f6a6b997d241e82a8dc89ee42cd6e8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 5 Apr 2021 11:46:20 +0200
Subject: [PATCH] make attempt to cross-interpret a hard error

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

diff --git a/cargo-miri/bin.rs b/cargo-miri/bin.rs
index 1f749b077ab9..f4f18929ba88 100644
--- a/cargo-miri/bin.rs
+++ b/cargo-miri/bin.rs
@@ -923,8 +923,7 @@ fn phase_cargo_rustdoc(fst_arg: &str, mut args: env::Args) {
     }
 
     if crossmode {
-        eprintln!("Cross-interpreting doc-tests is not currently supported by Miri.");
-        return;
+        show_error(format!("cross-interpreting doc-tests is not currently supported by Miri."));
     }
 
     // For each doc-test, rustdoc starts two child processes: first the test is compiled,