diff options
Diffstat (limited to 'src/util/profile/prof_int.h')
-rw-r--r-- | src/util/profile/prof_int.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util/profile/prof_int.h b/src/util/profile/prof_int.h index 06fce87..9191411 100644 --- a/src/util/profile/prof_int.h +++ b/src/util/profile/prof_int.h @@ -4,6 +4,7 @@ #include <time.h> #include <stdio.h> + #if defined(macintosh) || (defined(__MACH__) && defined(__APPLE__)) #include <TargetConditionals.h> #define USE_PTHREADS @@ -11,6 +12,11 @@ #define SHARE_TREE_DATA #endif +#if defined(USE_PTHREADS) +#include <sys/types.h> +#include <pthread.h> +#endif + #include "com_err.h" #include "profile.h" |