Use HAVE_DECL_PTHREAD_ATTR_SETCPUTIME.

This commit is contained in:
Ralf Corsepius
2009-10-27 05:02:34 +00:00
parent 8c3c4822b3
commit 15a4f37c7f

View File

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