mirror of
https://github.com/MariaDB/server.git
synced 2026-05-17 20:37:12 +02:00
Merge branch '10.3' into 10.4
This commit is contained in:
commit
93ac7ae70f
217 changed files with 6122 additions and 1986 deletions
|
|
@ -260,7 +260,7 @@ SET(CMAKE_REQUIRED_DEFINITIONS ${CMAKE_REQUIRED_DEFINITIONS} -DPACKAGE=test) # b
|
|||
CHECK_INCLUDE_FILES (bfd.h BFD_H_EXISTS)
|
||||
IF(BFD_H_EXISTS)
|
||||
IF(NOT_FOR_DISTRIBUTION)
|
||||
SET(NON_DISTRIBUTABLE_WARNING 1)
|
||||
SET(NON_DISTRIBUTABLE_WARNING "GPLv3" CACHE INTERNAL "")
|
||||
SET(HAVE_BFD_H 1)
|
||||
ENDIF()
|
||||
ENDIF()
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue