1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge branch '5.5' into 10.0

This commit is contained in:
Vicențiu Ciorbaru
2018-06-10 17:16:27 +03:00
27 changed files with 259 additions and 54 deletions

View File

@@ -28,5 +28,4 @@ ELSE()
ENDIF()
TARGET_LINK_LIBRARIES(explain_filename-t sql mytap)
ADD_TEST(explain_filename explain_filename-t)
MY_ADD_TEST(explain_filename explain_filename-t)