Use HAVE_DECL_PTHREAD_ATTR_GETCPUTIME.

This commit is contained in:
Ralf Corsepius
2009-10-27 05:03:29 +00:00
parent 15a4f37c7f
commit 0e3f3fb078

View File

@@ -14,6 +14,12 @@
#include <pthread.h>
#if !HAVE_DECL_PTHREAD_ATTR_GETCPUTIME
extern int pthread_attr_getcputime(
pthread_attr_t *attr,
int *clock_allowed);
#endif
#ifndef _POSIX_THREAD_CPUTIME
#error "rtems is supposed to have pthread_attr_getcputime"
#endif