1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Add have_debug.inc to skip the test faster in non-debug builds

This commit is contained in:
Marko Mäkelä
2017-09-21 12:31:30 +03:00
parent 1015196e0a
commit db7fd021fe

View File

@@ -1,4 +1,5 @@
--source include/innodb_page_size_small.inc
--source include/have_debug.inc
--source include/have_debug_sync.inc
let $innodb_metrics_select=