./miri: nicer error when building miri-script fails#3700

bors merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom

RalfJung:miri-scriptRalfJung/miri:miri-scriptCopy head branch name to clipboard