mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-30 10:31:54 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add missing file.

Browse source
This commit is contained in:
Jan Lindström 2020-10-10 11:06:59 +03:00
parent a3eddd9f11
commit 222e1b806f
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
mysql-test/suite/galera/include/galera_have_debug_sync.inc Normal file
View file

@ -0,0 +1,9 @@
--disable_query_log
--let $galera_have_debug_sync = `SELECT 1 FROM INFORMATION_SCHEMA.GLOBAL_STATUS WHERE VARIABLE_NAME = 'wsrep_debug_sync_waiters'`
--if (!$galera_have_debug_sync) {
--skip Test requires Galera debug library with debug_sync functionality
}
--enable_query_log