diff options
Diffstat (limited to 'gcc/jit/jit-playback.cc')
| -rw-r--r-- | gcc/jit/jit-playback.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/jit/jit-playback.cc b/gcc/jit/jit-playback.cc index 6be6bdf..7971413 100644 --- a/gcc/jit/jit-playback.cc +++ b/gcc/jit/jit-playback.cc @@ -19,6 +19,7 @@ along with GCC; see the file COPYING3. If not see <http://www.gnu.org/licenses/>. */ #include "config.h" +#define INCLUDE_PTHREAD_H #include "system.h" #include "coretypes.h" #include "target.h" @@ -41,8 +42,6 @@ along with GCC; see the file COPYING3. If not see #include "diagnostic.h" #include "stmt.h" -#include <pthread.h> - #include "jit-playback.h" #include "jit-result.h" #include "jit-builtins.h" |