Skip to content

change MIR dump filenames from rustc.nodeN... to rustc.<DefPath> - #45757

Merged
bors merged 2 commits into
rust-lang:masterfrom
mikhail-m1:change-mir-dump-filename
Nov 9, 2017
Merged

change MIR dump filenames from rustc.nodeN... to rustc.<DefPath>#45757
bors merged 2 commits into
rust-lang:masterfrom
mikhail-m1:change-mir-dump-filename

change separator from `.` to `-`

0e5c95e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs