Files
build_tools/scripts/develop/develop.py
Nikita Khromov 63a6ecd17f Fix
2020-12-10 13:28:26 +03:00

22 lines
493 B
Python

import sys
sys.path.append('scripts')
sys.path.append('scripts/develop')
import base
import build_js
import build_server
import config
import dependence
import config_server as develop_config_server
base_dir = base.get_script_dir(__file__)
def make():
if ("1" != config.option("develop")):
return
if not dependence.check_dependencies():
exit(1)
build_server.build_server_develop()
build_js.build_js_develop(base_dir + "/../../..")
develop_config_server.make()
exit(0)