jit: Use std::mutex instead of pthread_mutex_t

[thirdparty/gcc.git] / gcc / system.h

diff --git a/gcc/system.h b/gcc/system.h
index de9c5c0d2ef08a8d4fe5e7955e120b0949dce63a..4f9256efbcff0cfb5eccb8689d6346080e724db7 100644 (file)
--- a/gcc/system.h
+++ b/gcc/system.h
@@ -747,6 +747,10 @@ extern int vsnprintf (char *, size_t, const char *, va_list);
 # include <memory>
 #endif
 
+#ifdef INCLUDE_MUTEX
+# include <mutex>
+#endif
+
 #ifdef INCLUDE_MALLOC_H
 #if defined(HAVE_MALLINFO) || defined(HAVE_MALLINFO2)
 #include <malloc.h>