diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-08-25 12:11:30 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-08-25 12:11:30 -0700 |
| commit | aae6c0fbfe3051e5539f47d0e9d84ddee53f72bd (patch) | |
| tree | ab33fa72f88c5a9ceec75f62e75abbe469c613b3 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | f07011bad8a4ca3bd65ce1ed236f017f55108816 (diff) | |
| download | rust-aae6c0fbfe3051e5539f47d0e9d84ddee53f72bd.tar.gz rust-aae6c0fbfe3051e5539f47d0e9d84ddee53f72bd.zip | |
Explicitly pass `RTLD_LOCAL` to `dlopen`
This happens to be the default on Linux, but the default is unspecified in the POSIX standard. Also switches to `cast` to keep line lengths in check.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions