diff options
| author | flip1995 <hello@philkrones.com> | 2019-06-17 17:06:11 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2019-06-24 10:45:20 +0200 |
| commit | 08b81f2d070fdeb5364c96ccb2fdd8d992dff955 (patch) | |
| tree | c3ed19e9b571734fb8e28d291caed27197be878f /src | |
| parent | 65c81dee75a39dc990485f181e3eaf055dc37fa4 (diff) | |
| download | rust-08b81f2d070fdeb5364c96ccb2fdd8d992dff955.tar.gz rust-08b81f2d070fdeb5364c96ccb2fdd8d992dff955.zip | |
Rename internal -> rustc::internal
Diffstat (limited to 'src')
| -rw-r--r-- | src/bootstrap/bin/rustc.rs | 4 | ||||
| -rw-r--r-- | src/librustc_lint/lib.rs | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/bootstrap/bin/rustc.rs b/src/bootstrap/bin/rustc.rs index 34bd62d300d..5b5e9e0def2 100644 --- a/src/bootstrap/bin/rustc.rs +++ b/src/bootstrap/bin/rustc.rs @@ -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"); + } } } diff --git a/src/librustc_lint/lib.rs b/src/librustc_lint/lib.rs index d3e35589652..8053c73849d 100644 --- a/src/librustc_lint/lib.rs +++ b/src/librustc_lint/lib.rs @@ -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), |