2260
2253
option if compiled with valgrind support.
2262
2255
IF_PURIFY(0,1), 0, 0, 0, 0, 0},
2266
(char**) &use_temp_pool, (char**) &use_temp_pool, 0, GET_BOOL, NO_ARG, 1,
2268
2256
{"timed_mutexes", OPT_TIMED_MUTEXES,
2269
2257
N_("Specify whether to time mutexes (only InnoDB mutexes are currently "