Consistently call it "Clippy", not clippy or rust-clippy

As per discussion on the Clippy 1.0 RFC
This commit is contained in:
Dale Wijnand
2018-07-05 11:37:50 +01:00
parent 6c70013f93
commit d95d6516b4
5 changed files with 25 additions and 25 deletions

View File

@@ -44,7 +44,7 @@ def parse_lints(lints, filepath):
last_comment.append(line[3:])
elif line.startswith("declare_lint!"):
import sys
print "don't use `declare_lint!` in clippy, use `declare_clippy_lint!` instead"
print "don't use `declare_lint!` in Clippy, use `declare_clippy_lint!` instead"
sys.exit(42)
elif line.startswith("declare_clippy_lint!"):
comment = False