]> git.lizzy.rs Git - rust.git/commit
Auto merge of #45757 - mikhail-m1:change-mir-dump-filename, r=nikomatsakis
authorbors <bors@rust-lang.org>
Thu, 9 Nov 2017 20:46:39 +0000 (20:46 +0000)
committerbors <bors@rust-lang.org>
Thu, 9 Nov 2017 20:46:39 +0000 (20:46 +0000)
commitd6b06c63a0c735fc15c9c704422375c17b7c7e12
tree2483b1dca0e74cf92e5e5ed3183bae2f8ce2d348
parentf1ea23e2cc72cafad1dc25a06c09ec2de8e323eb
parent0e5c95ebcb039294924f3ddee921769d2b98fe8e
Auto merge of #45757 - mikhail-m1:change-mir-dump-filename, r=nikomatsakis

change MIR dump filenames from `rustc.nodeN...` to `rustc.<DefPath>`

r? @nikomatsakis