diff options
| author | John Hodge <tpg@mutabah.net> | 2018-05-12 17:54:27 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2018-05-12 17:54:27 +0800 |
| commit | 835519441441dcff3bb39e9a82f433a37c61d6ef (patch) | |
| tree | 1d406288ed9a4b0985fa8846d1d3ed9d48f87fd7 /tools/common | |
| parent | d667b43bd5971f63d396d2a1a587743c3cfceb68 (diff) | |
| download | mrust-835519441441dcff3bb39e9a82f433a37c61d6ef.tar.gz | |
Standalone MIRI - Get type for statics, add some pthread_* FFI stubs
Diffstat (limited to 'tools/common')
0 files changed, 0 insertions, 0 deletions