diff options
| author | Eric Huss <eric@huss.org> | 2021-07-21 10:12:30 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-21 10:12:30 -0700 |
| commit | 43e25751ff6f20941bef019bdb10bce32af8f178 (patch) | |
| tree | bb1f1d4339aa9d223e1c4053d8c773f00069bc07 /compiler/rustc_mir/src/transform/coverage/graph.rs | |
| parent | b9e3f3d5a21a24bf91e34a649896092dbad83a38 (diff) | |
| parent | 800c5f9202ca5309bbe372bbb8f2d6f1c29e59a5 (diff) | |
| download | rust-43e25751ff6f20941bef019bdb10bce32af8f178.tar.gz rust-43e25751ff6f20941bef019bdb10bce32af8f178.zip | |
Rollup merge of #87346 - rylev:rename-force-warn, r=nikomatsakis
Rename force-warns to force-warn The renames the `--force-warns` option to `--force-warn`. This mirrors other lint options like `--warn` and `--deny` which are in the singular. r? `@nikomatsakis` cc `@ehuss` - this option is being used by Cargo. How do we make sure the transition to using the new name is as smooth as possible?
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions