diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-06 19:48:32 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-07-06 19:48:32 +0200 |
| commit | f797b763dd9fa95d5294f60232babb017b2b495f (patch) | |
| tree | ee3d038867decb18a0f21fea18c004f8d48dc662 /src/tools/CMakeLists.txt | |
| parent | ff09baf0cf9ec501ec54d2666e386238bc7e6389 (diff) | |
| parent | 1ddc75c877f00a05669d1854d6196409428ea223 (diff) | |
| download | ouroboros-f797b763dd9fa95d5294f60232babb017b2b495f.tar.gz ouroboros-f797b763dd9fa95d5294f60232babb017b2b495f.zip | |
Merged in dstaesse/ouroboros/be-clean-exit (pull request #162)
lib: shm_du_map: Don't open rbuff when process exits
Diffstat (limited to 'src/tools/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions