mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Clarify that the "dep-info" is fake and add a newline

Browse Source
This commit is contained in:
hyd-dev 2021-02-28 15:57:49 +08:00
parent 49cd383537
commit 9c1342b152
No known key found for this signature in database
GPG Key ID: 74FA7FD5B8DA14B8
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
cargo-miri/bin.rs
View File

@ -614,9 +614,10 @@ fn phase_cargo_rustc(mut args: env::Args) {
// As we store a JSON file instead of building the crate here, an empty file is fine. // As we store a JSON file instead of building the crate here, an empty file is fine.
let dep_info_name = out_filename("", ".d"); let dep_info_name = out_filename("", ".d");
if verbose { if verbose {
eprintln!("[cargo-miri rustc] writing dep-info to `{}`", dep_info_name.display()); eprintln!("[cargo-miri rustc] writing stub dep-info to `{}`", dep_info_name.display());
} }
File::create(dep_info_name).expect("failed to create fake .d file"); File::create(dep_info_name).expect("failed to create fake .d file");
let filename = out_filename("", ""); let filename = out_filename("", "");
if verbose { if verbose {
eprintln!("[cargo-miri rustc] writing run info to `{}`", filename.display()); eprintln!("[cargo-miri rustc] writing run info to `{}`", filename.display());