diff options
author | Dimitri Staessens <[email protected]> | 2020-05-29 16:52:15 +0200 |
---|---|---|
committer | Sander Vrijders <[email protected]> | 2020-05-29 17:06:41 +0200 |
commit | 7a6bc98a1ea07991d8ff00a9b77be196bd9cef45 (patch) | |
tree | adf147e45fe227425b00cc09ecdae3b9ffb7372e /src/tools/obc | |
parent | bd6cce48b929468f6afc5294de19b688494c3a71 (diff) | |
download | ouroboros-7a6bc98a1ea07991d8ff00a9b77be196bd9cef45.tar.gz ouroboros-7a6bc98a1ea07991d8ff00a9b77be196bd9cef45.zip |
lib: Check rdrbuff sanitize for robust mutexes
The sanitize function in the rdrbuff should only be compiled if robust
mutexes are present on the system.
Signed-off-by: Dimitri Staessens <[email protected]>
Signed-off-by: Sander Vrijders <[email protected]>
Diffstat (limited to 'src/tools/obc')
0 files changed, 0 insertions, 0 deletions