mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-15 19:42:28 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

MDEV-14541 - Workaround GCC ICE on ARM64

Browse source 
Added missing include.
This commit is contained in:
Sergey Vojtovich 2018-02-19 13:53:35 +04:00
parent 7a84688e2c
commit b697f213a7
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CMakeLists.txt
View file

@ -162,6 +162,7 @@ INCLUDE(plugin)
INCLUDE(install_macros)
INCLUDE(systemd)
INCLUDE(mysql_add_executable)
INCLUDE(compile_flags)
# Handle options
OPTION(DISABLE_SHARED