diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-03 14:51:41 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-03 15:19:16 +0200 |
| commit | 5bb3bea07b0ff38e4646ed6f835d9bdac6beced6 (patch) | |
| tree | b071a0a3c396aa850a9024000a382165b0c00380 /install_release.sh | |
| parent | b92eac2e9f6d686a9e2f748f8097aedbb373395c (diff) | |
| download | ouroboros-5bb3bea07b0ff38e4646ed6f835d9bdac6beced6.tar.gz ouroboros-5bb3bea07b0ff38e4646ed6f835d9bdac6beced6.zip | |
build: Add check for robust mutexes
This adds a check for robust mutexes. The constant HAVE_ROBUST_MUTEX
is set accordingly in config.h. It also adds some other fixes to make
the prototype compile on the Hurd.
Diffstat (limited to 'install_release.sh')
0 files changed, 0 insertions, 0 deletions