1
Fork 0

Rename internal -> rustc::internal

This commit is contained in:
flip1995 2019-06-17 17:06:11 +02:00
parent 65c81dee75
commit 08b81f2d07
No known key found for this signature in database
GPG key ID: 693086869D506637
2 changed files with 4 additions and 2 deletions

View file

@ -310,7 +310,9 @@ fn main() {
let crate_name = crate_name[1].to_string_lossy();
if crate_name.starts_with("rustc") || crate_name.starts_with("syntax") {
cmd.arg("-Zunstable-options");
cmd.arg("-Winternal");
if stage != "0" {
cmd.arg("-Wrustc::internal");
}
}
}

View file

@ -497,7 +497,7 @@ pub fn register_internals(store: &mut lint::LintStore, sess: Option<&Session>) {
store.register_group(
sess,
false,
"internal",
"rustc::internal",
None,
vec![
LintId::of(DEFAULT_HASH_TYPES),