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

disable main.wait_timeout_not_windows for embedded

This commit is contained in:
Sergei Golubchik
2016-04-26 11:49:35 +02:00
parent 2220480731
commit 7f5ceb7768

View File

@@ -1,3 +1,4 @@
source include/not_embedded.inc;
source include/not_windows.inc;
#