diff options
| author | bors <bors@rust-lang.org> | 2018-06-17 02:57:40 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-06-17 02:57:40 +0000 |
| commit | 0f8f4903f73a21d7f408870551c08acd051abeb0 (patch) | |
| tree | 153096172dafabb7a33ba69592194812e1faea13 /src/libstd/sys | |
| parent | 68da15eae9c9cd2cb7a544f895105eb067d4b1c9 (diff) | |
| parent | 6a03884ce99df2002ddaa1155de65384f7767cd5 (diff) | |
| download | rust-0f8f4903f73a21d7f408870551c08acd051abeb0.tar.gz rust-0f8f4903f73a21d7f408870551c08acd051abeb0.zip | |
Auto merge of #51382 - GuillaumeGomez:intra-link-lint, r=QuietMisdreavus
Add lint for intra link resolution failure This PR is almost done, just remains this note: ``` note: requested on the command line with `-W intra-link-resolution-failure` ``` I have no idea why my lint is considered as being passed through command line and wasn't able to find where it was set. If anyone has an idea, it'd be very helpful! cc @QuietMisdreavus
Diffstat (limited to 'src/libstd/sys')
| -rw-r--r-- | src/libstd/sys/unix/ext/mod.rs | 1 | ||||
| -rw-r--r-- | src/libstd/sys/windows/ext/mod.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/libstd/sys/unix/ext/mod.rs b/src/libstd/sys/unix/ext/mod.rs index c221f7c8cfe..88e4237f8e2 100644 --- a/src/libstd/sys/unix/ext/mod.rs +++ b/src/libstd/sys/unix/ext/mod.rs @@ -35,6 +35,7 @@ #![stable(feature = "rust1", since = "1.0.0")] #![doc(cfg(unix))] +#![allow(missing_docs)] pub mod io; pub mod ffi; diff --git a/src/libstd/sys/windows/ext/mod.rs b/src/libstd/sys/windows/ext/mod.rs index 4b458d293bc..1f10609f32c 100644 --- a/src/libstd/sys/windows/ext/mod.rs +++ b/src/libstd/sys/windows/ext/mod.rs @@ -18,6 +18,7 @@ #![stable(feature = "rust1", since = "1.0.0")] #![doc(cfg(windows))] +#![allow(missing_docs)] pub mod ffi; pub mod fs; |