diff options
| -rw-r--r-- | librt/kernel-posix-timers.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/librt/kernel-posix-timers.h b/librt/kernel-posix-timers.h index 9a538c715..5724af01b 100644 --- a/librt/kernel-posix-timers.h +++ b/librt/kernel-posix-timers.h @@ -5,6 +5,7 @@ #include <setjmp.h> #include <signal.h> #include <sys/types.h> +#include <pthread.h> /* Type of timers in the kernel */ typedef int kernel_timer_t; |