mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 03:17:20 +02:00
Merge remote-tracking branch 'origin/10.2' into 10.3
This commit is contained in:
commit
b9b279ecc4
1 changed files with 6 additions and 1 deletions
|
|
@ -270,4 +270,9 @@ ADD_CUSTOM_TARGET(
|
|||
)
|
||||
|
||||
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
|
||||
)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue