mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
fix not_valgrind.inc not to error out in embedded
This commit is contained in:
parent
8b19f521f1
commit
2840d7750d
1 changed files with 1 additions and 1 deletions
|
@ -1,4 +1,4 @@
|
||||||
--require include/not_valgrind.require
|
--require include/not_valgrind.require
|
||||||
--disable_query_log
|
--disable_query_log
|
||||||
eval select $VALGRIND_TEST as using_valgrind;
|
eval select $VALGRIND_TEST+0 as using_valgrind;
|
||||||
--enable_query_log
|
--enable_query_log
|
||||||
|
|
Loading…
Reference in a new issue