about summary refs log tree commit diff
path: root/src/rustdoc
diff options
context:
space:
mode:
authorGraydon Hoare <graydon@mozilla.com>2012-07-26 17:08:21 -0700
committerGraydon Hoare <graydon@mozilla.com>2012-07-26 17:08:33 -0700
commitdbbaa50290ed7c97154bbc44e7bd73937a9dcb5e (patch)
tree9df88e9fcc73846be943ad6e4cad0057ac41a05b /src/rustdoc
parentc60a6b93fbb11751dfb411ee2909fa85644fe76f (diff)
downloadrust-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/rustdoc')
-rw-r--r--src/rustdoc/rustdoc.rc6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/rustdoc/rustdoc.rc b/src/rustdoc/rustdoc.rc
index 36067b2db6f..9364d2b5236 100644
--- a/src/rustdoc/rustdoc.rc
+++ b/src/rustdoc/rustdoc.rc
@@ -11,7 +11,13 @@
 
 #[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,
+        non_implicitly_copyable_typarams)];
 
 use core(vers = "0.3");
 use std(vers = "0.3");