X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=miri;h=99b64b62028a229c5f609ff9b41b09781c065d36;hb=d55d04780cbf966537c3f1d6e33b133a5319eeb8;hp=f12a49afe474008291031b65d11e86e3457cd3d0;hpb=328ecd1abf4ca75499d2ed6b450c4ebf1535a6da;p=rust.git diff --git a/miri b/miri index f12a49afe47..99b64b62028 100755 --- 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 +# . case "$COMMAND" in *-debug) CARGO_INSTALL_FLAGS="--debug $CARGO_EXTRA_FLAGS"