diff options
Diffstat (limited to 'innobase/os/os0sync.c')
| -rw-r--r-- | innobase/os/os0sync.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/innobase/os/os0sync.c b/innobase/os/os0sync.c index bac1f23a1af..a9127e6310a 100644 --- a/innobase/os/os0sync.c +++ b/innobase/os/os0sync.c @@ -495,6 +495,8 @@ 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); |