update

[l4.git] / l4 / pkg / uclibc / lib / libpthread / src / descr.h

diff --git a/l4/pkg/uclibc/lib/libpthread/src/descr.h b/l4/pkg/uclibc/lib/libpthread/src/descr.h
index b494bd969f535f1d1b3ea17f28ee8d21ab9a3fcd..0ce33b06133f735106cca27cc288283190ba4944 100644 (file)
--- a/l4/pkg/uclibc/lib/libpthread/src/descr.h
+++ b/l4/pkg/uclibc/lib/libpthread/src/descr.h
@@ -20,11 +20,12 @@
 #include <setjmp.h>
 #include <stdint.h>
 #include <sys/types.h>
-#ifdef USE_TLS
 #include <tls.h>
-#endif
+#include <l4/sys/utcb.h>
 
+#ifdef L4_PTHREAD_USE_USEM
 #include <l4/sys/semaphore.h>
+#endif
 
 /* Fast thread-specific data internal to libc.  */
 enum __libc_tsd_key_t { _LIBC_TSD_KEY_MALLOC = 0,