summaryrefslogtreecommitdiff
path: root/src/lib/.gitignore
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri@ouroboros.rocks>2020-05-29 16:52:15 +0200
committerSander Vrijders <sander@ouroboros.rocks>2020-05-29 17:06:41 +0200
commit7a6bc98a1ea07991d8ff00a9b77be196bd9cef45 (patch)
treeadf147e45fe227425b00cc09ecdae3b9ffb7372e /src/lib/.gitignore
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 <dimitri@ouroboros.rocks> Signed-off-by: Sander Vrijders <sander@ouroboros.rocks>
Diffstat (limited to 'src/lib/.gitignore')
0 files changed, 0 insertions, 0 deletions