diff options
Diffstat (limited to 'mps/code/lockli.c')
| -rw-r--r-- | mps/code/lockli.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/mps/code/lockli.c b/mps/code/lockli.c index deac899e0f2..8bd03649bbf 100644 --- a/mps/code/lockli.c +++ b/mps/code/lockli.c | |||
| @@ -22,15 +22,14 @@ | |||
| 22 | * while we hold the mutex. | 22 | * while we hold the mutex. |
| 23 | */ | 23 | */ |
| 24 | 24 | ||
| 25 | #define _XOPEN_SOURCE 500 | ||
| 26 | #include <pthread.h> | ||
| 27 | #include <semaphore.h> | ||
| 28 | #include <errno.h> | ||
| 29 | |||
| 30 | #include "mpmtypes.h" | 25 | #include "mpmtypes.h" |
| 31 | #include "lock.h" | 26 | #include "lock.h" |
| 32 | #include "config.h" | 27 | #include "config.h" |
| 33 | 28 | ||
| 29 | #include <pthread.h> | ||
| 30 | #include <semaphore.h> | ||
| 31 | #include <errno.h> | ||
| 32 | |||
| 34 | 33 | ||
| 35 | #ifndef MPS_OS_LI | 34 | #ifndef MPS_OS_LI |
| 36 | #error "lockli.c is specific to LinuxThreads but MPS_OS_LI not defined" | 35 | #error "lockli.c is specific to LinuxThreads but MPS_OS_LI not defined" |