From e9212d14ac1083515d79ace2ced6f5846598983f Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 30 Apr 2020 10:19:34 +0200
Subject: [PATCH] more helpful error on workspaces

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

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index 17d7ecf8c87..1d93654e33e 100644
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -144,7 +144,8 @@ fn list_targets() -> impl Iterator<Item = cargo_metadata::Target> {
         })
         .unwrap_or_else(|| {
             show_error(format!(
-                "This seems to be a workspace, which is not supported by cargo-miri"
+                "this seems to be a workspace, which is not supported by `cargo miri`.\n\
+                 Try to `cd` into the crate you want to test, and re-run `cargo miri` there."
             ))
         });
     let package = metadata.packages.remove(package_index);
-- 
2.44.0