mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
4 lines
126 B
PHP
4 lines
126 B
PHP
--require include/not_valgrind.require
|
|
--disable_query_log
|
|
eval select $VALGRIND_TEST+0 as using_valgrind;
|
|
--enable_query_log
|