reference cargo issue

[rust.git] / miri

diff --git a/miri b/miri
index f12a49afe474008291031b65d11e86e3457cd3d0..99b64b62028a229c5f609ff9b41b09781c065d36 100755 (executable)
--- a/miri
+++ b/miri
@@ -85,6 +85,8 @@ COMMAND="$1"
 shift
 
 # Determine flags passed to all cargo invocations.
+# This is a bit more annoying that one would hope due to
+# <https://github.com/rust-lang/cargo/issues/6992>.
 case "$COMMAND" in
 *-debug)
     CARGO_INSTALL_FLAGS="--debug $CARGO_EXTRA_FLAGS"