Use HAVE_DECL_PTHREAD_ATTR_GETCPUTIME, HAVE_DECL_PTHREAD_ATTR_SETCPUTIME.

This commit is contained in:
Ralf Corsepius
2009-10-27 05:01:14 +00:00
parent 90c8051a24
commit 8c3c4822b3

View File

@@ -12,6 +12,18 @@
#include <pthread.h>
#include <sched.h>
#if !HAVE_DECL_PTHREAD_ATTR_GETCPUTIME
extern int pthread_attr_getcputime(
pthread_attr_t *attr,
int *clock_allowed);
#endif
#if !HAVE_DECL_PTHREAD_ATTR_SETCPUTIME
extern int pthread_attr_setcputime(
pthread_attr_t *attr,
int clock_allowed);
#endif
#define CONFIGURE_INIT
#include "system.h"
#include <errno.h>