Auto merge of #1466 - RalfJung:target, r=RalfJung

set --target when building miri

This helps cargo tell apart `./miri` builds and `cargo check` (e.g. through rust-analyzer).
See rust-lang/cargo#8440.

Author: bors

miri

@@ -94,12 +94,12 @@ COMMAND="$1"
 # <https://github.com/rust-lang/cargo/issues/6992>.
 case "$COMMAND" in
 *-debug)
-    CARGO_INSTALL_FLAGS="--debug $CARGO_EXTRA_FLAGS"
-    CARGO_BUILD_FLAGS="$CARGO_EXTRA_FLAGS"
+    CARGO_INSTALL_FLAGS="--target $TARGET --debug $CARGO_EXTRA_FLAGS"
+    CARGO_BUILD_FLAGS="--target $TARGET $CARGO_EXTRA_FLAGS"
     ;;
 *)
-    CARGO_INSTALL_FLAGS="$CARGO_EXTRA_FLAGS"
-    CARGO_BUILD_FLAGS="--release $CARGO_EXTRA_FLAGS"
+    CARGO_INSTALL_FLAGS="--target $TARGET $CARGO_EXTRA_FLAGS"
+    CARGO_BUILD_FLAGS="--target $TARGET --release $CARGO_EXTRA_FLAGS"
     ;;
 esac