diff options
| author | David Carlier <devnexen@gmail.com> | 2024-04-28 13:50:11 +0100 |
|---|---|---|
| committer | David Carlier <devnexen@gmail.com> | 2024-04-28 17:44:42 +0100 |
| commit | a25b0946a79744c1f39ca759ab7db4081a2ebb51 (patch) | |
| tree | f87ffd130c400431f73a18f162d84edb0206d31b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | ce609db948f210807f61da999c57bd4ae5216254 (diff) | |
| download | rust-a25b0946a79744c1f39ca759ab7db4081a2ebb51.tar.gz rust-a25b0946a79744c1f39ca759ab7db4081a2ebb51.zip | |
std::net: Socket::new_raw set to SO_NOSIGPIPE on freebsd/netbsd/dragonfly.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions