| Index: src/platform-openbsd.cc
|
| diff --git a/src/platform-openbsd.cc b/src/platform-openbsd.cc
|
| index 47716718f260f5796ac16f82f5007bb9f7dd58fd..e59160109f0fbfc7c6ab0b6fd6b088ae0bc3dd1f 100644
|
| --- a/src/platform-openbsd.cc
|
| +++ b/src/platform-openbsd.cc
|
| @@ -502,7 +502,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();
|
| }
|
|
|
|
|
|
|