mirror of
https://github.com/MariaDB/server.git
synced 2025-07-21 23:50:01 +00:00
Merge branch '10.0-galera' into 10.1
This commit is contained in:
@ -30,6 +30,10 @@ IF(NOT VERSION)
|
||||
SET(64BIT 1)
|
||||
ENDIF()
|
||||
|
||||
IF(NOT 64BIT AND CMAKE_SYSTEM_PROCESSOR MATCHES "^mips64")
|
||||
SET(DEFAULT_MACHINE "mips")
|
||||
ENDIF()
|
||||
|
||||
IF(CMAKE_SYSTEM_NAME MATCHES "Windows")
|
||||
SET(NEED_DASH_BETWEEN_PLATFORM_AND_MACHINE 0)
|
||||
SET(DEFAULT_PLATFORM "win")
|
||||
|
Reference in New Issue
Block a user