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

MDEV-26527 - disable unneeded submodules, too

Browse source
This commit is contained in:
Vladislav Vaintroub 2021-09-10 16:27:38 +02:00
parent f68c6ccd20
commit b873651e3c
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
appveyor.yml
View file

@ -6,6 +6,12 @@ build_script:
# dump some system info
- echo processor='%PROCESSOR_IDENTIFIER%' , processor count= %NUMBER_OF_PROCESSORS%
- cd %APPVEYOR_BUILD_FOLDER%
# Disable unneeded submodules for the faster build
- git config submodule.storage/xpand.update none
- git config submodule.storage/maria/libmarias3.update none
- git config submodule.storage/rocksdb/rocksdb.update none
- git config submodule.wsrep-lib.update none
# Build minimal configuration
- mkdir _build
- cd _build
- set BUILD_TYPE=MinSizeRel