mirror of
https://github.com/MariaDB/server.git
synced 2026-05-08 08:04:29 +02:00
configure.in:
Change default value --with-fast-mutexes=no configure.in: Change default value --with-fast-mutexes=no
This commit is contained in:
parent
f03e338a3d
commit
7b8f4fc6f1
1 changed files with 1 additions and 1 deletions
|
|
@ -1592,7 +1592,7 @@ then
|
|||
AC_ARG_WITH([fast-mutexes],
|
||||
AC_HELP_STRING([--with-fast-mutexes],
|
||||
[compile with fast mutexes (default is enabled)]),
|
||||
[with_fast_mutexes=$withval], [with_fast_mutexes=yes])
|
||||
[with_fast_mutexes=$withval], [with_fast_mutexes=no])
|
||||
fi
|
||||
|
||||
if test "$with_fast_mutexes" = "yes"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue