diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2015-06-04 10:07:02 +0530 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2015-06-04 10:07:02 +0530 |
| commit | 5421b1fa25108a5100faa772840202f304293e0f (patch) | |
| tree | b6a110b2230b30b16b848ecc14d30aa8ec6b51fe /src/rustllvm/ExecutionEngineWrapper.cpp | |
| parent | 8a39dffa7f3afc974073d8f62b9dfcb419e03f4e (diff) | |
| parent | 24808fa076a2cf86c32e138d95c68e3ee4c7a0fc (diff) | |
| download | rust-5421b1fa25108a5100faa772840202f304293e0f.tar.gz rust-5421b1fa25108a5100faa772840202f304293e0f.zip | |
Rollup merge of #25988 - webmobster:master, r=alexcrichton
The priority policy of RWLock is not specified, and the fact there is no policy should probably be specified.
Diffstat (limited to 'src/rustllvm/ExecutionEngineWrapper.cpp')
0 files changed, 0 insertions, 0 deletions