]> git.lizzy.rs Git - rust.git/commitdiff
Add a default directory for -Zmir-dump-dir
authorvarkor <github@varkor.com>
Sun, 14 Jan 2018 17:15:39 +0000 (17:15 +0000)
committervarkor <github@varkor.com>
Sun, 14 Jan 2018 17:15:39 +0000 (17:15 +0000)
The current behaviour of dumping in the current directory is rarely
desirable: a sensible default directory for dumping is much more
convenient.

src/librustc/session/config.rs

index 8c8108b06046889805c90884eee48c35a05e1dfb..6645d6f90ffadb360af7100d1f7cf54047678731 100644 (file)
@@ -1172,7 +1172,7 @@ fn parse_optimization_fuel(slot: &mut Option<(String, u64)>, v: Option<&str>) ->
           "emit noalias metadata for mutable references"),
     dump_mir: Option<String> = (None, parse_opt_string, [UNTRACKED],
           "dump MIR state at various points in translation"),
-    dump_mir_dir: Option<String> = (None, parse_opt_string, [UNTRACKED],
+    dump_mir_dir: Option<String> = (Some(String::from("mir_dump")), parse_opt_string, [UNTRACKED],
           "the directory the MIR is dumped into"),
     dump_mir_graphviz: bool = (false, parse_bool, [UNTRACKED],
           "in addition to `.mir` files, create graphviz `.dot` files"),