1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Merge branch '10.4' into 10.5

This commit is contained in:
Yuchen Pei
2023-09-14 16:30:11 +10:00
25 changed files with 337 additions and 91 deletions

View File

@ -1,4 +1,4 @@
if (`select convert(@@version_compile_os using latin1) LIKE 'Linux' = 0`)
if (`select @@version_compile_os not LIKE 'Linux%'`)
{
skip Need Linux;
}