mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
Allow tests to be run without debug when possible, and on Windows
This commit is contained in:
parent
243b9f3cd2
commit
062eca7424
2 changed files with 1 additions and 1 deletions
|
@ -8,5 +8,6 @@ plugins,^
|
|||
mariabackup,^
|
||||
roles,^
|
||||
auth_gssapi,^
|
||||
query_response_time,^
|
||||
rocksdb,^
|
||||
sysschema
|
||||
|
|
|
@ -1,4 +1,3 @@
|
|||
--source include/have_debug_sync.inc
|
||||
--disable_ps_protocol
|
||||
|
||||
--echo #
|
||||
|
|
Loading…
Reference in a new issue