pengjunjie/build_tools
1
0
Fork 1
mirror of https://github.com/ONLYOFFICE/build_tools.git synced 2026-04-07 14:06:31 +08:00
Code Issues Packages Projects Releases Wiki Activity

[develop] Add develop option

Browse Source
This commit is contained in:
Alexander Trofimov
2020-10-16 16:33:12 +03:00
parent e2b83924f2
commit b5deccb8c3
5 changed files with 12 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
scripts/deploy.py
View File

@ -5,7 +5,6 @@ import base
import deploy_desktop
import deploy_builder
import deploy_server
import develop.deploy_server as develop_deploy_server
import deploy_core
import deploy_mobile
@ -16,8 +15,6 @@ def make():
deploy_builder.make()
if config.check_option("module", "server"):
deploy_server.make()
if config.check_option("module", "develop"):
develop_deploy_server.make()
if config.check_option("module", "core"):
deploy_core.make()
if config.check_option("module", "mobile"):