user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
set --target when building miri

This helps cargo tell apart `./miri` builds and `cargo check` (e.g. through rust-analyzer).
See https://github.com/rust-lang/cargo/issues/8440.
This commit is contained in:
bors 2020-07-03 09:20:07 +00:00
commit 9a0605d62f
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
miri
View file

@ -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