]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bd8aa02 394b95f)
Rollup merge of #47426 - varkor:default-mir-dump-dir, r=nikomatsakis
authorkennytm <kennytm@gmail.com>
Wed, 17 Jan 2018 17:57:17 +0000 (01:57 +0800)
committerGitHub <noreply@github.com>
Wed, 17 Jan 2018 17:57:17 +0000 (01:57 +0800)
Add a default directory for -Zmir-dump-dir

The current behaviour of dumping in the current directory is rarely
desirable: a sensible default directory for dumping is much more
convenient. This makes sets the default value for `-Zmir-dump-dir`
to `mir_dump/`.

r? @eddyb

1  2 
src/librustc/session/config.rs patch | diff1 | diff2 | blob | history

diff --cc src/librustc/session/config.rs
Simple merge
Empowering everyone to build reliable and efficient software.