diff options
| author | Zack M. Davis <code@zackmdavis.net> | 2018-06-30 09:03:00 -0700 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-07-04 17:14:02 -0500 |
| commit | 6fd934ddeaf45ca085eedda5c56191e17858df0b (patch) | |
| tree | c2d6cee9b9847d7149251bde717402677e71e369 /src/doc/rustc-dev-guide | |
| parent | 3a851001e05ddc15b3447cf160b74bb4b81cddae (diff) | |
| download | rust-6fd934ddeaf45ca085eedda5c56191e17858df0b.tar.gz rust-6fd934ddeaf45ca085eedda5c56191e17858df0b.zip | |
mention lint-level command line flags as well as attributes
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/diag.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/diag.md b/src/doc/rustc-dev-guide/src/diag.md index 26fc200af69..e4c257fd8a4 100644 --- a/src/doc/rustc-dev-guide/src/diag.md +++ b/src/doc/rustc-dev-guide/src/diag.md @@ -261,4 +261,5 @@ For example, ``` This defines the `nonstandard_style` group which turns on the listed lints. A -user can turn on these lints by using `!#[warn(nonstandard_style)]`. +user can turn on these lints with a `!#[warn(nonstandard_style)]` attribute in +the source code, or by passing `-W nonstandard-style` on the command line. |