mirror of
https://github.com/MariaDB/server.git
synced 2026-05-06 15:15:34 +02:00
Merge 10.2 into 10.3
This commit is contained in:
commit
9f8871db2f
1 changed files with 5 additions and 1 deletions
|
|
@ -110,7 +110,11 @@ IF(NOT VERSION)
|
|||
SET(DEFAULT_MACHINE "x86")
|
||||
ENDIF()
|
||||
ENDIF()
|
||||
|
||||
|
||||
IF(NOT DEFAULT_MACHINE MATCHES "64" AND 64BIT)
|
||||
SET(DEFAULT_MACHINE "${DEFAULT_MACHINE}-64bit")
|
||||
ENDIF()
|
||||
|
||||
IF(NOT PLATFORM)
|
||||
SET(PLATFORM ${DEFAULT_PLATFORM})
|
||||
ENDIF()
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue