1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

simplify versioning tests

This commit is contained in:
Sergei Golubchik
2018-02-21 21:45:59 +01:00
parent dd7d169593
commit 052668f500
22 changed files with 1041 additions and 2148 deletions

View File

@ -1,10 +1,7 @@
--disable_query_log
drop procedure verify_vtq;
drop procedure verify_vtq_dummy;
drop function default_engine;
drop function non_default_engine;
drop function sys_commit_ts;
drop function sys_datatype;
drop procedure concat_exec2;
drop procedure concat_exec3;
--enable_query_log