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.
RalfJung · Jul 3, 2020 · e310e2f · e310e2f
1 parent fd81012
commit e310e2f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/miri b/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