Code

cargo-miri: never invoke rustc#1406

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/miri:masterfrom RalfJung:miri-as-rustcRalfJung/miri:miri-as-rustcCopy head branch name to clipboardMay 10, 2020

+39-95

Commits

Commits on May 10, 2020

• cargo-miri: never invoke rustc, always go through 'MIRI_BE_RUSTC=1 miri' instead

  RalfJung

  committed
  81046fa

• fix dead link in README

  RalfJung

  committed
  12114c5

• we do not need to set RUSTFLAGS for xargo any more as miri-as-rustc already uses these flags

  RalfJung

  committed
  845b89c