1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Fixed buildbot failures with --embedded-server

This push just fixes tests, nothing wrong in server
This commit is contained in:
Michael Widenius
2017-05-13 16:52:53 +03:00
parent 238eb41005
commit 38acc29ccb
2 changed files with 3 additions and 2 deletions

View File

@ -1,4 +1,5 @@
--source include/have_innodb.inc
--source include/not_embedded.inc
#
# Test innodb read only