1
0
mirror of https://github.com/MariaDB/server.git synced 2026-10-23 18:49:29 +03:00

32bit fix

This commit is contained in:
Sergei Golubchik
2015-03-08 17:22:37 +01:00
parent e2de804491
commit f7d196bb2e

View File

@@ -1218,8 +1218,8 @@
COMMAND_LINE_ARGUMENT OPTIONAL
VARIABLE_NAME INNODB_VERSION
SESSION_VALUE NULL
-GLOBAL_VALUE 5.6.22
+GLOBAL_VALUE 5.6.22-71.0
-GLOBAL_VALUE 5.6.23
+GLOBAL_VALUE 5.6.22-72.0
GLOBAL_VALUE_ORIGIN COMPILE-TIME
DEFAULT_VALUE NULL
VARIABLE_SCOPE GLOBAL