mirror of
https://github.com/godotengine/godot.git
synced 2025-10-23 09:53:25 +00:00
[HTML5] Better editor HTML, small refactor.
Side and GDNative libraries are now added by engine.js , the dynlink pre js had been deleted.
This commit is contained in:
parent
abb8d8e8ca
commit
4e09453407
6 changed files with 38 additions and 9 deletions
|
@ -15,6 +15,15 @@ def run_closure_compiler(target, source, env, for_signature):
|
|||
return " ".join(cmd)
|
||||
|
||||
|
||||
def get_build_version(env):
|
||||
import version
|
||||
|
||||
name = "custom_build"
|
||||
if os.getenv("BUILD_NAME") != None:
|
||||
name = os.getenv("BUILD_NAME")
|
||||
return "%d.%d.%d.%s.%s" % (version.major, version.minor, version.patch, version.status, name)
|
||||
|
||||
|
||||
def create_engine_file(env, target, source, externs):
|
||||
if env["use_closure_compiler"]:
|
||||
return env.BuildJS(target, source, JSEXTERNS=externs)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue