diff options
| author | Graydon Hoare <graydon@mozilla.com> | 2012-07-26 17:08:21 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2012-07-26 17:08:33 -0700 |
| commit | dbbaa50290ed7c97154bbc44e7bd73937a9dcb5e (patch) | |
| tree | 9df88e9fcc73846be943ad6e4cad0057ac41a05b /src/fuzzer | |
| parent | c60a6b93fbb11751dfb411ee2909fa85644fe76f (diff) | |
| download | rust-dbbaa50290ed7c97154bbc44e7bd73937a9dcb5e.tar.gz rust-dbbaa50290ed7c97154bbc44e7bd73937a9dcb5e.zip | |
Nomenclature fixes in the lint checker. Fewer double-negatives.
New style is allow(foo), warn(foo), deny(foo) and forbid(foo), mirrored by -A foo, -W foo, -D foo and -F foo on command line. These replace -W no-foo, -W foo, -W err-foo, respectively. Forbid is new, and means "deny, and you can't override it".
Diffstat (limited to 'src/fuzzer')
| -rw-r--r-- | src/fuzzer/fuzzer.rc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/fuzzer/fuzzer.rc b/src/fuzzer/fuzzer.rc index 7b9f6bccb77..e172abeb69b 100644 --- a/src/fuzzer/fuzzer.rc +++ b/src/fuzzer/fuzzer.rc @@ -4,7 +4,12 @@ #[no_core]; +// NB: transitional for stage0: +#[allow(unrecognized_lint)]; +#[warn(no_unrecognized_warning)]; #[warn(no_vecs_not_implicitly_copyable)]; +// The new version: +#[allow(vecs_implicitly_copyable)]; use core(vers = "0.3"); use std(vers = "0.3"); @@ -17,5 +22,4 @@ import core::*; // indent-tabs-mode: nil // c-basic-offset: 4 // buffer-file-coding-system: utf-8-unix -// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'"; // End: |