miri-script: use --remap-path-prefix to print errors relative to the right root - #3798

miri-script: use --remap-path-prefix to print errors relative to the right root#3798

bors merged 5 commits into

rust-lang:masterrust-lang/miri:masterfrom

RalfJung:miri-script-remap-path-prefixRalfJung/miri:miri-script-remap-path-prefixCopy head branch name to clipboard