Commit fff7897e authored by Julius Goryavsky's avatar Julius Goryavsky

Merge branch '10.2' of https://github.com/MariaDB/server into 10.2

parents 5f55f69e 15cdcb2a
...@@ -225,4 +225,9 @@ ADD_CUSTOM_TARGET( ...@@ -225,4 +225,9 @@ ADD_CUSTOM_TARGET(
) )
ADD_CUSTOM_TARGET(win_package DEPENDS win_package_zip win_package_debuginfo) ADD_CUSTOM_TARGET(win_package DEPENDS win_package_zip win_package_debuginfo)
SET_TARGET_PROPERTIES(
win_package win_package_zip win_package_debuginfo
PROPERTIES
EXCLUDE_FROM_ALL TRUE
EXCLUDE_FROM_DEFAULT_BUILD TRUE
)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment