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:
Sergei Golubchik
2018-06-21 00:44:10 +02:00
4 changed files with 6 additions and 9 deletions

View File

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