diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-09 16:51:12 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-09 16:51:12 +0200 |
| commit | dc0e2a74d74f524f1d94140827d88479d42acd69 (patch) | |
| tree | b2f1805087a2c1f1b22d4ff489bcb6d77d4d20fb /compile_release.sh | |
| parent | f558d4404a9cb5b87ce3e239d8c0712bbaaba39a (diff) | |
| download | ouroboros-dc0e2a74d74f524f1d94140827d88479d42acd69.tar.gz ouroboros-dc0e2a74d74f524f1d94140827d88479d42acd69.zip | |
lib: dev.c: Release locks before blocking calls
Diffstat (limited to 'compile_release.sh')
0 files changed, 0 insertions, 0 deletions