make sure we include pthread.h to define pthread_attr_t

diff --git a/librt/kernel-posix-timers.h b/librt/kernel-posix-timers.h
index 9a538c7..5724af0 100644 (file)
--- 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;