]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #67709 - petrochenkov:nodedup2, r=Centril
authorDylan DPC <dylan.dpc@gmail.com>
Sat, 4 Jan 2020 18:22:48 +0000 (23:52 +0530)
committerGitHub <noreply@github.com>
Sat, 4 Jan 2020 18:22:48 +0000 (23:52 +0530)
commit3c87772a8a4f00cfcce26615ae7808f278c61c44
tree400cb52b902d96f7be1ea66eeea50cb63ba37ba8
parentcce055daef93bfa50b11b1d3368811fe586d8a42
parent5bf810599306fd880b0946ecb3e1ec37ca72762f
Rollup merge of #67709 - petrochenkov:nodedup2, r=Centril

Introduce an option for disabling deduplication of diagnostics

With the intent of using it in UI tests (https://github.com/rust-lang/rust/pull/67122).

The option is boolean (`-Z deduplicate-diagnostics=yes/no`) and can be specified multiple times with later values overriding earlier values (`-Z deduplicate-diagnostics=no -Z deduplicate-diagnostics=yes` == `-Z deduplicate-diagnostics=yes`), so it can be set in a hierarchical way, e.g. UI testing infra may disable the deduplication by default with specific tests being able to enable it back.
src/librustdoc/config.rs
src/librustdoc/core.rs