make attempt to cross-interpret a hard error

RalfJung · RalfJung · commit dd393f21c7f6 · 2021-04-05T11:48:37.000+02:00
diff --git 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,

Original file line number	Diff line number	Diff line change
`@@ -923,8 +923,7 @@ fn phase_cargo_rustdoc(fst_arg: &str, mut args: env::Args) {`
`923`	`923`	`}`
`924`	`924`
`925`	`925`	`if crossmode {`
`926`		`- eprintln!("Cross-interpreting doc-tests is not currently supported by Miri.");`
`927`		`- return;`
	`926`	`+ show_error(format!("cross-interpreting doc-tests is not currently supported by Miri."));`
`928`	`927`	`}`
`929`	`928`
`930`	`929`	`// For each doc-test, rustdoc starts two child processes: first the test is compiled,`