Index: src/platform-linux.cc |
diff --git a/src/platform-linux.cc b/src/platform-linux.cc |
index 800c20aa7ff97704e710ebb2669bd131b3a1e03b..5c252bbf884b9c176644fdbfd47214f96ed516db 100644 |
--- a/src/platform-linux.cc |
+++ b/src/platform-linux.cc |
@@ -757,7 +757,7 @@ void OS::SetUp() { |
// Seed the random number generator. We preserve microsecond resolution. |
uint64_t seed = Ticks() ^ (getpid() << 16); |
srandom(static_cast<unsigned int>(seed)); |
- limit_mutex = new Mutex; |
+ limit_mutex = CreateMutex(); |
} |