X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Ftools%2Fmiri%2Fmiri;h=0c0bbbc70208e686f920353f430a3d9aee49fc68;hb=92b6562a2577461b0ea115996ba8845704734ff1;hp=a259576ed42a0edb8f2529f827a46ac216efa629;hpb=e1d819583f0bf13b016b119c1c2c43e6d3979450;p=rust.git diff --git a/src/tools/miri/miri b/src/tools/miri/miri index a259576ed42..0c0bbbc7020 100755 --- a/src/tools/miri/miri +++ b/src/tools/miri/miri @@ -243,7 +243,7 @@ if [ -z "$CARGO_PROFILE_DEV_OPT_LEVEL" ]; then export CARGO_PROFILE_DEV_OPT_LEVEL=2 fi # Enable rustc-specific lints (ignored without `-Zunstable-options`). -export RUSTFLAGS="-Zunstable-options -Wrustc::internal $RUSTFLAGS" +export RUSTFLAGS="-Zunstable-options -Wrustc::internal -Wrust_2018_idioms -Wunused_lifetimes -Wsemicolon_in_expressions_from_macros $RUSTFLAGS" # We set the rpath so that Miri finds the private rustc libraries it needs. export RUSTFLAGS="-C link-args=-Wl,-rpath,$LIBDIR $RUSTFLAGS"