diff options
author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-08-09 16:56:04 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-08-09 16:56:04 +0200 |
commit | fa719e594be2a6d3132706c11166fd4ad4d57e01 (patch) | |
tree | b2f1805087a2c1f1b22d4ff489bcb6d77d4d20fb /compile_release.sh | |
parent | f558d4404a9cb5b87ce3e239d8c0712bbaaba39a (diff) | |
parent | dc0e2a74d74f524f1d94140827d88479d42acd69 (diff) | |
download | ouroboros-fa719e594be2a6d3132706c11166fd4ad4d57e01.tar.gz ouroboros-fa719e594be2a6d3132706c11166fd4ad4d57e01.zip |
Merged in dstaesse/ouroboros/be-bugfixing (pull request #196)
lib: dev.c: Release locks before blocking calls
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions