1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Test cases require debug_sync enabled

This commit is contained in:
Vicențiu Ciorbaru
2021-07-19 14:55:56 +03:00
parent fcbb2a1df1
commit 71ed8c136f
5 changed files with 5 additions and 0 deletions

View File

@ -1,5 +1,6 @@
--source include/have_partition.inc
--source include/have_debug.inc
--source include/have_debug_sync.inc
# Save the initial number of concurrent sessions.
--source include/count_sessions.inc