Auto merge of #114476 - Urgau:missing-dep-file-112898, r=oli-obk · rust-lang/miri@4839815 · GitHub

Commit

Auto merge of #114476 - Urgau:missing-dep-file-112898, r=oli-obk

Browse files

Fix missing dependency file with `-Zunpretty`

This PR force the `output_filenames` to be run ~~in every early exits like~~ when using `-Zunpretty`, so to respect the `dep-info` flag.

Fixes rust-lang/rust#112898
r? `@oli-obk`

Loading branch information

bors committed Aug 6, 2023

2 parents bfcb21e + ff1e280 commit 4839815