diff options
Diffstat (limited to 'gcc/system.h')
| -rw-r--r-- | gcc/system.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/system.h b/gcc/system.h index 67158b7..f8d42ff 100644 --- a/gcc/system.h +++ b/gcc/system.h @@ -753,6 +753,10 @@ extern int vsnprintf (char *, size_t, const char *, va_list); #endif #endif +#ifdef INCLUDE_PTHREAD_H +#include <pthread.h> +#endif + #ifdef INCLUDE_ISL #ifdef HAVE_isl #include <isl/options.h> |