diff options
Diffstat (limited to 'innobase/os')
| -rw-r--r-- | innobase/os/os0sync.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/innobase/os/os0sync.c b/innobase/os/os0sync.c index a9127e6310a..83b2961c3ca 100644 --- a/innobase/os/os0sync.c +++ b/innobase/os/os0sync.c @@ -495,10 +495,7 @@ os_fast_mutex_free( ut_a(fast_mutex); DeleteCriticalSection((LPCRITICAL_SECTION) fast_mutex); -#elif defined(__NETWARE__) || defined(SAFE_MUTEX_DETECT_DESTROY) - pthread_mutex_destroy(fast_mutex); #else - UT_NOT_USED(fast_mutex); - + pthread_mutex_destroy(fast_mutex); #endif } |