From: kennytm <kennytm@gmail.com>
Date: Wed, 17 Jan 2018 17:57:17 +0000 (+0800)
Subject: Rollup merge of #47426 - varkor:default-mir-dump-dir, r=nikomatsakis
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=01749e1b3428aed5848f88c1307152a7912c2678;p=rust.git

Rollup merge of #47426 - varkor:default-mir-dump-dir, r=nikomatsakis

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
---

01749e1b3428aed5848f88c1307152a7912c2678