diff options
author | dimitri staessens <[email protected]> | 2017-03-29 16:34:06 +0000 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2017-03-29 16:34:06 +0000 |
commit | 6d331deca437e157cc9aa23a1fd5d0d4c2353cb8 (patch) | |
tree | 5fcbd918d35fdfb741fb215d23ee35ebc38a69fa /src/tools/operf | |
parent | 489b6be608ce40d5249d95f77815be9b422995d5 (diff) | |
parent | 001b2bd5b79b2e6af7942d83689163e2120ff1de (diff) | |
download | ouroboros-6d331deca437e157cc9aa23a1fd5d0d4c2353cb8.tar.gz ouroboros-6d331deca437e157cc9aa23a1fd5d0d4c2353cb8.zip |
Merged in dstaesse/ouroboros/be-fix-irmd-shutdown (pull request #433)
irmd: Exit blocking threads from irm_sanitizer
Diffstat (limited to 'src/tools/operf')
0 files changed, 0 insertions, 0 deletions