You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-05 12:10:55 +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:
@@ -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)
|
||||
|
||||
Reference in New Issue
Block a user