diff options
-rw-r--r-- | src/threading.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/threading.c b/src/threading.c index d5c127f..9aa04af 100644 --- a/src/threading.c +++ b/src/threading.c | |||
@@ -34,10 +34,8 @@ THE SOFTWARE. | |||
34 | 34 | ||
35 | =============================================================================== | 35 | =============================================================================== |
36 | */ | 36 | */ |
37 | #include "platform.h" | 37 | #if defined(__linux__) |
38 | #if defined(PLATFORM_LINUX) | 38 | # define _GNU_SOURCE /* must be defined before any include */ |
39 | # define _GNU_SOURCE /* must be defined before <sched.h> */ | ||
40 | # include <sched.h> | ||
41 | #endif | 39 | #endif |
42 | 40 | ||
43 | #include <stdio.h> | 41 | #include <stdio.h> |