summaryrefslogtreecommitdiff
path: root/src/tools/obc
diff options
context:
space:
mode:
authorDimitri Staessens <[email protected]>2020-05-29 16:52:15 +0200
committerSander Vrijders <[email protected]>2020-05-29 17:06:41 +0200
commit7a6bc98a1ea07991d8ff00a9b77be196bd9cef45 (patch)
treeadf147e45fe227425b00cc09ecdae3b9ffb7372e /src/tools/obc
parentbd6cce48b929468f6afc5294de19b688494c3a71 (diff)
downloadouroboros-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