Automated pull from rust-lang/libc

ferrocene/library/libc/.github/workflows/bors.yml

@@ -335,24 +335,6 @@ jobs:
       - name: Build with check-cfg
         run: LIBC_CI=1 LIBC_CHECK_CFG=1 cargo build -Z unstable-options -Z check-cfg=features,names,values,output
 
-  docs:
-    permissions:
-      actions: write # to cancel workflows (rust-lang/simpleinfra/github-actions/cancel-outdated-builds)
-      contents: read # to fetch code (actions/checkout)
-
-    name: Generate documentation
-    runs-on: ubuntu-22.04
-    needs: docker_linux_tier2
-    steps:
-      - uses: rust-lang/simpleinfra/github-actions/cancel-outdated-builds@HEAD
-        with:
-          github_token: "${{ secrets.GITHUB_TOKEN }}"
-      - uses: actions/checkout@v3
-      - name: Setup Rust toolchain
-        run: sh ./ci/install-rust.sh
-      - name: Generate documentation
-        run: LIBC_CI=1 sh ci/dox.sh
-
   # These jobs doesn't actually test anything, but they're only used to tell
   # bors the build completed, as there is no practical way to detect when a
   # workflow is successful listening to webhooks only.
@@ -374,7 +356,6 @@ jobs:
       build_channels_linux,
       build_channels_macos,
       build_channels_windows,
-      docs,
     ]
 
     steps:
@@ -396,7 +377,6 @@ jobs:
       build_channels_linux,
       build_channels_macos,
       build_channels_windows,
-      docs,
     ]
 
     steps:

ferrocene/library/libc/README.md

@@ -60,7 +60,7 @@ newer Rust features are only available on newer Rust toolchains:
 
 ## Platform support
 
-[Platform-specific documentation (HEAD)][docs.head].
+You can see the platform(target)-specific docs on [docs.rs], select a platform you want to see.
 
 See
 [`ci/build.sh`](https://github.com/rust-lang/libc/blob/HEAD/ci/build.sh)
@@ -107,4 +107,3 @@ dual licensed as above, without any additional terms or conditions.
 [Documentation]: https://docs.rs/libc/badge.svg
 [docs.rs]: https://docs.rs/libc
 [License]: https://img.shields.io/crates/l/libc.svg
-[docs.head]: https://rust-lang.github.io/libc/#platform-specific-documentation

ferrocene/library/libc/src/lib.rs

@@ -1,8 +1,4 @@
 //! libc - Raw FFI bindings to platforms' system libraries
-//!
-//! [Documentation for other platforms][pd].
-//!
-//! [pd]: https://rust-lang.github.io/libc/#platform-specific-documentation
 #![crate_name = "libc"]
 #![crate_type = "rlib"]
 #![allow(

ferrocene/library/libc/src/teeos/mod.rs

@@ -8,6 +8,8 @@
 // only supported on Rust > 1.59, so we can directly reexport c_void from core.
 pub use core::ffi::c_void;
 
+use Option;
+
 pub type c_schar = i8;
 
 pub type c_uchar = u8;