mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 03:52:35 +01:00
debug_sync is only available in debug build.
This commit is contained in:
parent
eb95ebf917
commit
4656060f11
1 changed files with 1 additions and 0 deletions
|
@ -3,6 +3,7 @@
|
|||
#
|
||||
|
||||
--source include/big_test.inc
|
||||
--source include/have_debug_sync.inc
|
||||
|
||||
--disable_warnings
|
||||
DROP TABLE IF EXISTS t1;
|
||||
|
|
Loading…
Reference in a new issue