mirror of https://github.com/MariaDB/server
Browse Source
TokuDB uses USE_VALGRIND while MariaDB uses HAVE_valgrind Fixed by defining USE_VALGRIND in TokuDB if HAVE_valgrind is usedpull/607/head
1 changed files with 5 additions and 0 deletions
Loading…
Reference in new issue